add: Mica, Synet, PHAVer, Ariadne, st2msc, SPIN eclipse plugin, update: SpaceEx, Breach