remove obsolete IDEs

Instead use http://github.com/gsdlab/clafer-tools-st3