Tools to reload the page, or display colour coded build status, in a web app. Possibly using web-sockets