Add dev Procfile running redis