integrate html pages into repository for gforge -> gitlab transition

2 jobs for master in 27 seconds (queued for 1 second)