added SQRL example to ROOT
added SQRL example to ROOT

note: the parser parsed all gotos as calls here
note: the parser will not make the same error again
note: for this particular example, we proved that these gotos and
      calls are interchangable

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