Change the arguments of FormattingWriter.writeToken()

I think this should make them a lot more readable: Instead of the mildly
cryptic Integer? postIndent, we now have an Indent|NoLineBreak afterToken.
beforeToken can also be an Indent, but that’s not implemented yet.
WIP