A URL shortener on Google AppEngine