delete editor-support, which has been moved to new repo
fix some of wrong comparisons in MaudeKRun to fix a test
delete unused files in tests directory
Merge pull request #955 from dwightguth/delete-stuff

Delete unused files from repo
Merge pull request #961 from osa1/maudeKRun-fix

fix some of wrong comparisons in MaudeKRun to fix a test
ktest: don't generate same PDFs multiple times
remove temp directory .k
Merge pull request #964 from osa1/ktest-elim-dup-pdfs

ktest: don't generate duplicate PDF files. kompile: remove .k
Merge remote-tracking branch 'upstream/master'
z3 external process support