Automate builds

[mastersign]

• [x] Build when pushing to branch dev
• [ ] Build and test when pushing to branch dev
• [ ] Build and test when pushing to branch master
• [ ] Create release on GitHub with Bench.zip and Bench.exe attached when pushing tag
• [x] Generate docs when pushing to branch dev to test if the doc build pipeline works
• [ ] Generate and publish docs on a seprarate URL when pushing to branch dev
• [x] Generate and publish docs when pushing to branch master

[mastersign]

Started implementing build pipeline on private GitLab CI.