Stable version of the translation for infeasible code detection

Has been tested against:

• Bouncy Castle
• Tomcat
• Soot
• Terpword

It does not seem to produce false positives (with some exceptions due to known bugs in soot).

Added support for apk's

Jar2Bpl is now using the lastest soot version.

Changes include:

• support for apk translation
• java source code locations are now translated into Boogie attributes
• the prelude is now a resource file and will be extended in the future