Add output settings "indent" and "normaliseWhitespace"

Pretty printing normalises whitespaces and indents the HTML tags.
Sometimes it is useful to disable whitespace normalisation or
indentation. So this change introduces two new output settings which can
be used to specify what pretty printing actually does.