doc: expand the lake test and lint driver section#855

david-christiansen merged 10 commits into

mainleanprover/reference-manual:mainfrom

test-driver-docleanprover/reference-manual:test-driver-docCopy head branch name to clipboard