doc: Remove checkout and git-mirror options from mauibuild.1.txt

These builtins are documented in their own man page.