Skip installing devtools from github by default.

Fixes #88.