modify readme.md
change name jalangi_home into jalangi
refine benchmark_exp.js