A simple live-update HTTP server for HTML5 coding