So basically, Arduino IDE acts as the client side of the tether to compile and flash firmware to the target device.
This seems like an ideal component for the OSS community to handle and rally around. Then anyone can use the IDE of their choice, the compile-flash manager handles the rest.
Actually the Arduino IDE is just the (crappy) build system (and a (subpar) package manager). Replacing it is trivial, see my sibling comment.