adapted etc/tct.hs
adapted documentation of customisation options for interpretations
Always use minisat executable as supplied in configuration
conditionally compile EPO* with epostar cabal flag
check if tct-home-directory available; clean up tct configuration group
added reference to dot in INSTALL.md