Merge branch 'hotfix-0.8.2.1'
Merge branch 'develop'
.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'
Merge branch 'master' into feature-improved-graph-output