FormattingVisitor/-Writer: use named arguments

* add default values to all parameters of FormattingWriter.writeToken()
  (except the token itself)
* use named arguments for all invocations of FormattingWriter.writeToken()