feat(make): add makefile help and idiomatic cleanup#139

cds-amal wants to merge 2 commits into

masterruntimeverification/stable-mir-json:masterfrom

cds/make-it-if-you-tryruntimeverification/stable-mir-json:cds/make-it-if-you-tryCopy head branch name to clipboard