making sure that synthesizer recognizes when FakeMap has been fixed--adding a few tests.
Merge branch 'master' of https://github.com/cuplv/thresher

Conflicts:
	src/edu/colorado/thresher/PointsToQuery.java
numerous bug fixes to make Hashtable.Enumerator example go through. added several new tests with functionality required for this example. the changes made two immutability tests (MapRefute and MapNoRefute) run extremely slow. Have removed from test suite for now; will investigate later