A URL shortener in Django