Synchronize installed plugins.

[hazzik]

Please add ability to synchronize extensions installed from gallery.

[derigel23]

http://youtrack.jetbrains.com/issue/RSPL-5432

[derigel23]

Currently, list of plugins is synchronized, but binaries are not.
You can open Extensions Manager and will be prompted to restore missed plugins.