Move wtperf configuration option from Jenkins into configuration file.