add a simple ci config

This is a first step, but it should already be useful. I recommend merging with high priority, because it allows testing the follow-up commits. (the commits need to contain the .gitlab-ci.yml.)

The Dockerfile as it stands right now can be optimized, but it will work for a while.