Update README.md

Add pointer to Jalangi.