DevEnv: An somewhat opinionated developer environment.