Lightweight url minifyer using flask and redis