Review of the devtools box: replacement of RVM by native ruby, minor fixes