Lazy-load typechecking environment for quicker startup, help, etc#1623

WardBrian wants to merge 2 commits into

masterstan-dev/stanc3:masterfrom

lazy-load-environmentstan-dev/stanc3:lazy-load-environmentCopy head branch name to clipboard