Added PushNegationDownRefactoring + samples.

ASTBuilder.java:
Moved parenthesizeIfNeeded() here from ASTHelper + Updated all references.

OperatorEnum.java:
Added reverse operators.
In getOperator(), used a switch statement for better performances.