decouple from jalangi master branch; add install.js