global option to control whether devtools is used by default in new packages