update copyright notice to 2013
fix: TypeSynonymInstances required for GHC 7.0.4
.gitignore 'hsenv' related files
Remove old, unfinished example from Thomas Zgraggen's ISO case study
added multiset versions of Yubi* protocol to regression tests
fix #135: apply UTF-8 decoding before parsing
Simplify theory loading code.

This was triggered by #135, as I thought the bug would lie in the theory
loading code. It turned out that it was just some UTF-8 decoding that was
missing. The theory loading code is nevertheless much more readable now.
simplify finite variant computation code slightly
wibble
Compiles with GHC 7.6.2.
-Wall cleaning.
Update CHANGES: compiles with GHC > 7.4
Wibble in Makefile.
Updating syntax file with missing '>'.
Added KEA+ models with adversarial key registration.

The idea is to confirm/deny results established manually in the context of
the ASICS paper.
Merge branch 'develop' into feature-group-protocols