remove legacy gappa code from framework: using z3 for floating point now
Merge pull request #1049 from dwightguth/delete-gappa

remove legacy gappa code from framework: using z3 for floating point now