A tiny webserver for game development