Added this dev config file for easier Jenkins build configuration.