Redis in action first chapter code as Flask web application