GitLab

BUILD_COMMIT not available directly from the repository, and may be useful for
later build steps.

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.