Avoid deprecated usage of devtools installer

`devtools::install_github(repo, user)` is deprecated.