- fixed pretty printing for boogie output
- removed debug output
- modified the smack tests a bit
- build new jar file.