fix for commit f7c24973040af94e792b27f87a3d1d6a79139c10
added support for Android's AsyncTask
performance optimization
Refactored Android's AsyncTask methods into their own callgraph edge types instead of reuing Kind.THREAD
re-generated JastAdd frontend code
removed unmappable characters
minor modifications
fixed a stupid bug
removed old TODO
added method getParameterRefs() to Body
also added caching of parameter refs to JimpleBasedICFG
break as soon as array type is found
Fixes issue #155.

Due to this bug, the generated Baf and Jimple code would miss the last
non-default case in a tableswitch code structure. It does not affect
generated bytecode, so it is not easily triggered.
Added Body.getParameterLocals
changed return value of getParameterRefs to List<Value>; this is because most clients will probably use these them just as values but would otherwise not be able to assign a List<ParameterRef> to a List<Value>
EquivalentValue: Remove getDeepestValue().

Add check at constructor so that we never get EquivalentValue inside.
This renders (original buggy) getDeepestValue() obsolete.
Equivalent.Equivalent(): Use if instead of while since we never get nested EquivalentValues.
EquivalentValue: add back getDeepestValue(), add deprecated tag.
Update CHANGES.
fix for #160 - check for duplicate annotation types must not fail if we have no ID for the type yet. In this case, we just compare the strings.
removed some garbage