Pages

Loic Huderrequested to merge
pages into master

Set up of gitlab pages (for real this time)

Merge request reports