A simple URL shortener in Python and Redis