Change `DevtoolsInstall` to `EnsureDevtools`.

This simply checks for `devtools` and installs it if needed. As a nice
by-product, we can also remove the `HAS_DEVTOOLS` environment variable.
experiment with exit status
Make `devtools_install` a noop.
Code review feedback.
Merge branch 'master' into ensure_devtools