update introduction commands and usages
change name
jalangi_home will be installed in the parent directory of Jalangi-Berkeley