java 7 support, with much pain for stack maps :)
Merge branch 'master' of https://github.com/wala/WALA

Conflicts:
	com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/shrike/DynamicCallGraphTestBase.java
	com.ibm.wala.ide.jdt.test/launchers/JDTJava15IRTests.launch
merge of java 7 changes.
fixes for Dalvik commit.
remove use-split-verifier hack