Use cmdliner in tlapm

This slightly changes tlapm's command-line syntax in an incompatible
way:
- deprecated options are no longer accepted: `-d`, `--paranoid`,
  `--isaprove`, `--fpdir`
- options that used to take two arguments (as in `--opt A B`) now
  takes them as a single comma-separated argument (as in `--opt A,B`):
  `--toolbox`, `--nofpl`, `--erasefp`

Signed-off-by: Stephane Glondu <stephane.glondu@inria.fr>

Author: Stephane Glondu

src/dune

@@ -19,6 +19,7 @@
   unix
   threads
   str
+  cmdliner
   dune-site
   dune-build-info
   camlzip ; main deps.