Improve configuration keys and their documentation system.

Also move the ad-hoc dumpast command line flag to a configuration
key.