Made reststop-development a plugin. (Plugins can now provide plugin classloaders)