[vala] (10 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:

  d955732... build: Add --enable-test-asan configure option
  4e61eed... coverage: Build gidl-bindings
  64a896b... ci: Add .gitlab-ci.yml
  8e63df1... ci: Add ubuntu:16.04 run with gcc
  db85329... ci: Add ubuntu:devel run with clang and address-sanitizer
  bc6a3ff... ci: Add archlinux/base:latest run with gcc
  00051e7... ci: Add alpine:edge run with gcc
  7ad39ad... ci: Always deploy

Commits added to the branch:

  869a81a... vala: Check type-arguments in base-types/prerequisites of c (*)
  e199f56... vala: Include type-checks in preconditions of methods for t (*)
  ff9590d... build: Add --enable-test-asan configure option
  d3ad0d8... coverage: Build gidl-bindings
  06abb67... ci: Add .gitlab-ci.yml
  5136a64... ci: Add ubuntu:16.04 run with gcc
  d3c56ca... ci: Add ubuntu:devel run with clang and address-sanitizer
  cd824e0... ci: Add archlinux/base:latest run with gcc
  5ef4481... ci: Add alpine:edge run with gcc
  de7551b... ci: Always deploy

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