A tornado web server and client which update tickets on the page in realtime, using Redmine's REST API