[all] better user interface

• list and save final configuration by default (unless --dry)
• better interface on -P and -T using -P +cvc4,-cvc5 for instance
• option --reset to reset configuration
• suppress or rename -h option