An open, extensible IDE