note in README that install_github needs dev tools