GitHub #27: Add --help-builtins commandline option to print all tooltips