remove client_session_key.aes which was accidentally included in examples
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.
Merge branch 'develop'