added dependencies.
Moved code over from googlecode and did some cleanups.
The code now only does the translation from jimple to boogie. No static
analysis is performed at this point.