convert abstract model to NSX allow rules

[haim-kermany]

For testing and validation of the transformation.
After the conversion is implemented, add comparison of NSX analysis for both input rules and the "converted" ones -- should be the same result.

[haim-kermany]

work still to be done:

• 1. support abstract deny rules
• 2. support services - after completed, remember to remove the comment that currently disables these tests.
• 3. split addDebugFiles+ consider encapsulation (tests code reorg) - moved to a separate issue, synthesis_test.go reorg #175

[adisos]

tests re-org - see comments from #169