Improved gc.print-stats and documented gc. built-ins.
Documented Ctrl-C feature.