Adds a getter to the Aloha object to get its plugin manager.

I couldn't find a way to get to the PluginManager object used by Aloha (need to reach to the loaded plugins by the plugin manager), and I couldn't find a way to do that without adding this getter.