redis flask link shortener

This is a simple link shortener using Flask and Redis.