.gitlab-ci.yml: add an android build
We currently are known to compile and run in android but we have no CI for it (either build-only or full testsuite run). We should provide a CI to avoid regressions on that platform.
We currently are known to compile and run in android but we have no CI for it (either build-only or full testsuite run). We should provide a CI to avoid regressions on that platform.