IntelliJ

Additional configuration of IntelliJ for contributors (and committers).