add Procfile for starting redis