A Python and Redis based URL shortener.