Automate builds

[mastersign]

• 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
• 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
• Generate and publish docs when pushing to branch master

[mastersign]

Started implementing build pipeline on private GitLab CI.