Add CI

The CI builds, tags, create a release and a generic pages and finally
publishes to Gitlab pages automatically.
For development branches, it will only build.