hsrp etc.
Fixed several issues affecting analysis of USC

- Fixed cycling caused by bad rules for OspfE2Route
- Fixed missing newlines for PolicyMapMatchIpAccessList facts
- Hack transforms ':' to '_COLON_' for z3, which doesn't allow colons in
  relation names.
EDITS BY JITU TO HANDLE NEXUS CONFIGS
added fix for CTRL-C (\u0003) as banner delimiter
Cleaned up exception handling according to best practices
Merge remote-tracking branch 'origin/unstable' into ratul
Merge remote-tracking branch 'origin/padhye' into ratul

Conflicts:
	projects/batfish/src/batfish/grammar/cisco/CiscoGrammarCommonLexer.g4