Added attribute file for handling of whitespace
Added def file from Artemis project
Merged with HEAD from epfl-lara (changes to Z3Tactic)
Relative paths for Visual Studio