document config options

Spells out the Batman-wide configuration options