GitLab

Make configuration more general.

Move responsibility for source futzing back to the travis.yml file,
because we are now doing only one build per job.