#118 Repository Manager problem with disabled plugin

[Hugo Giesteira]

If the repository manager GUI has a disabled plugin an error is thrown if the user tries to expand the dependencies tree.

See:
https://sourceforge.net/p/optflux/optfluxbugreporter/1724/
https://sourceforge.net/p/optflux/optfluxbugreporter/1723/