Revert "ensure that install_github finds devtools in packrat mode"

This reverts commit 79e346fb9403d0bbbacfc8f73db986db13d17d88.
Revert "factor out popping of console input"

This reverts commit 211d27d09a622aed5f0b7f6f8cd35bb6ec5fa77d.