A URL Shortener in Python