Initial commit
add STR protocol model
rename STR model since it's a simplified version
add more realistic STR model
- Removed initiator nonce where inappropriate
- added test result timings
add ocaml protocol implementation and
manual translation to spthy file
Fixed indexing error in ResponderLoop rule, blindedRandoms need to be based off the changing index k, not the fixed index j

Added missing dis-equality constraints for R3 in key_reachable_4
add intermediate key actions and secrecy lemma
Typo fixes in STR_ml

Added a version with 2 arguments for AuthOut

Added a version on top of that where the intruder can send authenticated messages using a Corrupt rule
Added IKey action to the ResponderDone rule, otherwise IKey secrecy does not imply Key secrecy, which is what we want.
Started preliminary work on graph improvement code.
The basic idea for clustering is working now.

There is a strange phenomenon in which some record nodes get resized within the subgraph.
I currently have no idea why.
Update to cleanup program: now with basic (too enthousiastic) node removal.
Started work on parsing labels for abbreviations.
Testing pyparsing parser for labels.
Working parser (again).
Notes.
Grabbing subterms etc.
Parser and subterm scan seems to be more or less functional now. Also ports scan is working.
Abbreviation code is passing the first tests.