DevCamps: Better development environments