[vala] (16 commits) Non-fast-forward update to branch wip/ci

[Rico Tzschichholz <ricotz src gnome org>]

The branch 'wip/ci' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  51db4dd... coverage: Build gidl-bindings
  13d4ad5... ci: Add .gitlab-ci.yml
  f6f29c3... ci: Add ubuntu:16.04 run with gcc
  6144966... ci: Add archlinux:latest run with gcc
  9566774... ci: Add alpine:edge run with gcc
  102983f... ci: Add fedora:rawhide run with clang
  3ff3840... Fedora rawhide is broken
  33a552e... Ubuntu devel is broken
  65a05cf... Alpine edge is broken
  1233cc9... ci: Build manual as pdf and html
  5171068... ci: Always deploy

Commits added to the branch:

  c655e65... parser: Split out Parser.parse_switch_section_statement() (*)
  2215b53... parser: Better handling of misplaced switch sections (*)
  7eed6c7... genie: Amend text of indent and dedent for error messages (*)
  d4071fa... genie: Accept INTERR token before type arguments when parsi (*)
  c0970d0... genie: Properly handle plain "get" or "set" property access (*)
  6ba3df3... coverage: Build gidl-bindings
  83748a5... ci: Add .gitlab-ci.yml
  bbe743e... ci: Add ubuntu:16.04 run with gcc
  654040f... ci: Add archlinux:latest run with gcc
  2faa467... ci: Add alpine:edge run with gcc
  0e6dd10... ci: Add fedora:rawhide run with clang
  7b82db0... Fedora rawhide is broken
  ea002e0... Ubuntu devel is broken
  20d2cc9... Alpine edge is broken
  87c96b5... ci: Build manual as pdf and html
  f4c2057... ci: Always deploy

(*) This commit already existed in another branch; no separate mail sent