cleanup
cleanup

this might probably be the last commit in this branch.

I guess supporting gotos is not very expedient:
1) They are barely used
2) The should not be used at all
3) It complicates everything too much

unfolding them should be straight forward.
If some (Rule m (Goto chain)#rest) appears,
rewrite it to
  (add_match m (Gamma chain)) @ (add_match (Not m) rest)

probably this is also the desired semantics for them

jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics,jcaesar/Iptables_Semantics,diekmann/Iptables_Semantics