Allow line breaks after binary connectives
Tptp.write is parametrized by maximum number of characters per line
Fix printing of formulas with associative connectives

Problem was when [and] was immediately under [or] or the other way around.