Request build for a commit #46

This PR adds a button to the commit header drop down menu which allows users to request a commit to be built.
This requires https://github.com/devhub-tud/build-server/pull/12 on the BuildServer.