remove obsolete IDEs

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