Testing Cmdliner module for command-line arguments