make parametric->/c do first-order checks for the argument/result
contracts that it generates

closes PR 13600
add contracts, fix a bug, add a test case
sync scribble docs with cmdline help text
add an "install package" GUI to DrRacket that calls into planet2