Updated list of plugins.

Removed plugins with broken links, consolidated in some plugins from a
separate older repository files hosted on smi-protege.