Update Mission: makefile.rkt: Use submodules as annotations for phony targets