Warn ignored files (fix rems-project/cerberus#527)

Plus a bit of tidying up:
- Remove open Builtins
- Remove open CF
- Tidy helper functions
- Use Cmdliner.Arg.{file, dir} where appropriate
- Define a dir_or_mkdir Cmdliner.Arg.conv'

Author: dc-mak