Added all IP protocols to enum.
changed unconstrained ip protocol value to be 256, which is impossible (unlike 0 to which it was set previously). refactored synthesizer to use constants instead of literals for bit widths.
removed colliding protocol enums
Merge remote-tracking branch 'luispedrosa/lpedrosa' into unstable

Conflicts:
	projects/batfish/src/batfish/representation/IpProtocol.java