This is a second try on pinning bob.devtools to use conda 4.6.
If we do not pin this, upgrades are not possible without uninstalling bob.devtools to then re-install it.