- fixed bug when parsing gloabal axioms (smack tests now run through).
- undid unintentional change of boogieamp/build.xml.
- minor changes in test cases.
Merge branch 'master' of https://github.com/martinschaef/boogieamp.git