Print more options when dumping configuration
Merge pull request #382 from ralfjung-e/develop

Print more options when dumping configuration