preferences: Add Plugin Manager

Authored by cfoch on Aug 16 2017, 9:25 PM.