new function DevtoolsProvide that only installs devtools if it cannot be loaded

fixes #35