Update Mission: convention.scrbl: take away make phony targets conventions
Update Mission: makefile.rkt: make targets via command line