WyRL: extended wyrl file syntax to support rule naming.
A challenge when debugging the verifier is that of connecting the rules in the generated java file with the actual rule in the original wyrl file.  To address this, I've introduced rule names which can (optionally) be provided for reduction rules.  The benefit of this is that you can then easily connect the generated java file with the wyrl file, to aid debugging.