Filler and BufferBuilder tweaks.

- extracted Filler.flatten() from BufferBuilder
- made addHeader() and friends automatically prepend a blank line if needed
Expose Filler's StringBuilders.

This makes it easier and more efficient to add a prefix to the filled text
before turning it back into lines.
Added BufferBuilder.addPreFilled.

Useful for adding indented filled text.