Change CMAKE_INSTALL_PREFIX default value

If DEVEL_DIR environment variable is defined and CMAKE_INSTALL_PREFIX has not been explicitly set in the command line, set CMAKE_INSTALL_PREFIX to DEVEL_DIR/install