AutoPull and compile doesn't cause refresh of data on compilation-pane

[csfreak]

When logged in, the compilation-pane should update on build completion, regardless of wether that build was started by a git commit hook or a UI button. Currently, if there isn't a build running on the last time the pane is loaded, and you don't start a new build, the update timer never files and there is no recourse short of starting new builds, or refreshing the browser window and reloading the entire app.

[csfreak]

Could be as simple as an additional reload button. would take 1 line of html, a few of css, and on of javascript to run the update_build_history function in compile.js