Rename config file

It’s more common to give YAML files the ending .yml and not .yaml.

benchmark.py

@@ -85,13 +85,13 @@ def readBenchmarkConfig(config):
 	git(["checkout", config["storage"]["branches"]["config"]], cwd = dataDir)
 
 	# read instance list
-	instancesFile = os.path.join(config["storage"]["local"], "instances.yaml")
+	instancesFile = os.path.join(config["storage"]["local"], "instances.yml")
 
 	with open(instancesFile, "r") as stream:
 		instances = yaml.load(stream, Loader=yaml.CLoader)
 
 	# read configurations to test
-	configurationsFile = os.path.join(config["storage"]["local"], "configurations.yaml")
+	configurationsFile = os.path.join(config["storage"]["local"], "configurations.yml")
 
 	with open(configurationsFile, "r") as stream:
 		configurations = yaml.load(stream, Loader=yaml.CLoader)
@@ -237,7 +237,7 @@ def runJob(configuration, instance, config):
 		writeStatus("finished benchmark job " + jobName, config)
 
 def main():
-	with open("config.yaml", "r") as stream:
+	with open("config.yml", "r") as stream:
 		config = yaml.load(stream, Loader=yaml.CLoader)
 
 	atexit.register(writeStatus, "benchmark runner exited", config)