Renames devenver to cookenv
Completes renaming devenver to cookenv