Simple file server made using Tornado