Add E and SPASS
Travis tweaks
Try with jukebox as a library, again
Compile everything with -dynamic to avoid using GHC's linker.
Try to fix build on travis
Try installing alex on travis
Only do dynamic compilation on GHC 7.8
Ok, really do dynamic on old GHC [10]

Also don't start variables with _, jukebox barfs on them.
Don't try any version older than 7.8
Update happy on travis
Bump void version
Add another CFG example
Don't write cache when killing theorem provers
Update README about only supporting GHC 7.8
Always build with pretty-show