Update printer

Created by: FlorianCassayre

(some changes from lisa-core that haven't been merged)

• n-ary conjunctions/disjunctions should be infix-printed
• Typos & legacy code
• Add .gitignore with Intellij defaults