A configuration service for the Performance Platform