build: Fix and prettify build option output

The documentation one was broken by the gtk-doc changes, and let's
align things.