- moved the prelude into src/res/basc_prelude.bpl.
- cleaned up SootPrelude.java.
- updated to new version of boogieamp.jar.
- Ant script still broken.