Merge branch 'hotfix/fix-for-method-resolution'
Adding links to the jasmin and heros github projects.
Merge pull request #67 from jbranchaud/master

Adding links to the README for the jasmin and heros repositories.
Clearer exception message when crashing due to missing body
Merge pull request #80 from malaverdiere/develop

Clearer exception message when crashing due to missing body
added DalvikThrowAnalysis to singleton list
Merge branch 'develop' of github.com:Sable/soot into develop
converting DexResolver in propert singleton, addressing Bug #37 on github
Merge commit '550aaca69710a3c597f0a3c8a1f07a5d41359be3' into develop

Conflicts:
	src/singletons.list
Added a few more type checking constraints - in Java, they are enforced by the bytecode verifier, but in Dex they aren't. I added it unconditionally since the semantics is the same for both Dex and Java, so it doesn't hurt to have them.
improved error handling for (hopefully rare) cases in which the broken code is processed
added some checks in case the base local of an array is not of an array type, but of type Object which is still cast-compatible
fix for the fix: Only propagate constants which are not null, otherwise you get a null_type in the type hierarchy
added an assertion
Use xml+xslt to generate singletons
Update singletons list and Singletons.java
Merge pull request #83 from quentin/make-singletons

Generate singletons using xml+xslt
Reflect the changes made in Sable/soot@ab25f1fc5b2630d8cfeaedce0797bd3bf4a3aaec in the dependencies of the singletons target (check if singletons.xml changed).
Merge pull request #84 from bergerbd/develop

Generation of singletons is broken
implemented copy propagation for constants