Use default help generated by Cmdliner.2.0#81

tmcgilchrist merged 1 commit intotarides:maintarides/runtime_events_tools:mainfrom

tmcgilchrist:theAlexes/maintmcgilchrist/runtime_events_tools:theAlexes/mainCopy head branch name to clipboard