change name to Zermelo score
infer the name of the AI using the awk script instead of hardcoding it in the Makefile
remove duplicate code for inferring AI name