Checking in type capture work.
survey of bugs from online
Merge branches 'bug_survey', 'master' and 'typeAnalysis' of https://github.com/JacksonGL/Jalangi-Berkeley
Merge branch 'master' of https://github.com/JacksonGL/Jalangi-Berkeley
never use sandbox.iids.  Use the function sandbox.iidToLocation.  Do not load jalangi_sourcemap.js explicitly.