LySa - Analysis of origin and destination authentication

Changes in Version 1.1:

A parser of (Meta) LySa processes from ASCII text has been added in the directory io/
Example protocols (written in ASCII text format) has been added in the directory protocols/ (hopefully more will come)
The directory experiments1/ is considered deprecated and has been removed from the distribution
Lysa2LLysa.l2llProc now translates sequences of indices into unique strings (which before was a problem e.g. when unfolding to more than 9 instances)
Constraint generation in analysis1.sml now produces a correct ALFP formula when an encryption is empty
Constraint generation in analysis1.sml now produces a correct ALFP formula when the list in ORIG or DEST is empty
Emacs Time-stamps have been added to all source files. Dates are as of now - though many files have not been modified since last release

Annotations with NONE are expanded to the set of all crypto-points by Lysa2LLysa.l2llProc.
Using ORIG in encryption or DEST in decryption will now cause an exception to be raised by Lysa2LLysa.l2llProc.
Indices may now also be the empty string (in case you feel that it makes sense)
Annotation corrected in example.sml
Minor corrections in documentation