Add command line support via Cmdliner