Implement pretty-printing of configtypes for the doc

This is also needed to make the docs environment work on Travis - as otherwise,
doc generation wasn't deterministic because of changing dict key order.