Change the semantics of PROG/ARGS
Since some "programs" require multiple words (dune exec ./otf.exe), it might not be useful to distinguish PROG and ARGS.
We should have
- CMDLINE as None by default
- CMDLINE=a b c (to produce a command line)
- CMDLINE+=foo bar (to add one argument at a time, making it possible to add arguments with space)