A simple URL shortening service based on Tornado.