A web server to remotely manage build tasks