Merge branch 'hotfix-0.8.2.1'
Merge branch 'develop'
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 remote-tracking branch 'origin/master' into feature-user-defined-sorts

Conflicts:
	lib/theory/src/Theory/Text/Parser.hs
	lib/theory/src/Theory/Text/Parser/Token.hs
	src/Main/TheoryLoader.hs