Merge branch 'develop'

Makefile

data/CHANGES

data/etc/spthy.vim

data/examples/Tutorial.spthy

data/examples/csf12/KEA_plus_AdvKey-fix.spthy

data/examples/csf12/KEA_plus_AdvKey.spthy

lib/term/src/Term/LTerm.hs

lib/term/src/Term/Rewriting/Norm.hs

lib/term/src/Term/Term.hs

lib/term/src/Term/Term/Raw.hs

lib/term/src/Term/Unification.hs

lib/term/tamarin-prover-term.cabal

lib/theory/src/Theory/Constraint/Solver/CaseDistinctions.hs

lib/theory/tamarin-prover-theory.cabal

lib/utils/tamarin-prover-utils.cabal

src/Web/Hamlet.hs

src/Web/Handler.hs

src/Web/Types.hs

tamarin-prover.cabal