added a phony target `submission' which runs aaai_script