restructure devtools plugin, devtools is now a module that will be accessible to the complete Python environment
Updated plugins, added docimport plugin.