A small URL shortener built on top of Flask and Redis