A URL shortener service written in Python