Fix for issue #77. Clean and commented code.

Fix Local allocation when use-original-names is
enabled and the LocalVariableTable contains
variables with different indexes and overlapping 
bytecode ranges but same name.

However if the table contains other kind of 
inconsistencies, the Local allocation won't be 
sound when use-original-names is enabled.
(see the large comment in this commit about why
and how to fix this in the future).

Also fix potential Local allocation problem with 
wide local store byte codes when enabling 
use-original-names.
Merge pull request #78 from quentin/fix-issue-77

Fix issue 77
fixed IFDS example problem for clinit edges
Merge branch 'develop' of github.com:Sable/soot into develop
fixed one more IFDS example problem for clinit edges
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
Merge branch 'develop' of github.com:Sable/soot into develop