Bumped IDEA version to 13.1.2 and removed support for non-IDEA

I'll add support for non-IDEA IDEs again later on, right now I'm focused on some other things.