Experimental impl of race client
Fixing failure to remove constraints from checkcasts
Smarts for refuting based on reading null from inner class this (e.g. this$0)
Adding scala compiler flags and fixing a few warnings
Cleanup
Merge branch 'race_client'

Conflicts:
	src/main/scala/edu/colorado/hopper/client/android/AndroidRacesClient.scala
	src/main/scala/edu/colorado/hopper/client/android/DroidelClient.scala
big strides toward new Android null deref checking client w/ control-feasibility information