Separated out SireumDev plugins. Replaced Subclipse with Subversive.