A really simple URL shortening service written as a Python WSGI app