Improve CLI interface

[jendrikseipp]

The current CLI interface is

./loki
-D: required.
Usage: AStar search. [--help] [--version] --domain-filepath VAR [--problem-filepath VAR] [--out-domain-filepath VAR] [--out-problem-filepath VAR] [--strict] [--quiet] [--remove-typing]

Optional arguments:
  -h, --help                   shows help message and exits 
  -v, --version                prints version information and exits 
  -D, --domain-filepath        The path to the PDDL domain file. [required]
  -P, --problem-filepath       The path to the PDDL problem file. [nargs=0..1] [default: ""]
  -OD, --out-domain-filepath   The path to the output PDDL domain file. [nargs=0..1] [default: ""]
  -OP, --out-problem-filepath  The path to the output PDDL problem file. [nargs=0..1] [default: ""]
  -S, --strict                 Enable strict parsing mode. 
  -Q, --quiet                  Disable quiet mode. 
  -T, --remove-typing          Enable removal of typing.

I see the following possible improvements:

• Replace "AStar search." with "loki".
• Make DOMAIN a mandatory argument (without dashes). If possible, make PROBLEM a second positional argument, but make it optional, just like VAL does.
• Remove "-filepath" suffixes.
• Use lower-case argument abbreviations.
• Document what strict mode and quiet mode do. Ideally, the behaviour is simple enough to be documented in the help output.
• --quiet disables quiet mode?
• I find it odd that -T removes typing. I'd remove "-T" and only keep the long form.
• There should be a way to suppress writing any output (for pure linting purposes). I'd only write the domain/problem if --out-domain or --out-problem are given. Passing "-" prints to stdout.

[drexlerd]

I integrated all remarks. Here is the updated CLI.

Usage: loki [--help] [--version] [--out-domain VAR] [--out-problem VAR] [--strict] [--verbose] [--remove-typing] domain problem

Positional arguments:
  domain              The path to the PDDL domain file. [required]
  problem             The path to the PDDL problem file. [nargs=0..1] [default: ""]

Optional arguments:
  -h, --help          shows help message and exits 
  -v, --version       prints version information and exits 
  -OD, --out-domain   The path to the output PDDL domain file. 
  -OP, --out-problem  The path to the output PDDL problem file. 
  -S, --strict        Enable strict parsing mode. 
  -V, --verbose       Verbose prints. 
  --remove-typing     Enable removal of typing.

[jendrikseipp]

Thanks! I'd also:

• Change -OD, -OP, -S to -d, -p and -s.
• Swap the meanings of -V and -v.
• Document what strict mode does.
• Change "Enable removal of typing." to "Convert types to predicates."