fixes #1047 : invalid --skip error output
remove legacy gappa code from framework: using z3 for floating point now
add readme note about java 8 error
Merge pull request #1051 from dwightguth/readme

add readme note about java 8 error
Merge pull request #1049 from dwightguth/delete-gappa

remove legacy gappa code from framework: using z3 for floating point now
Merge pull request #1048 from dwightguth/parameter

fixes #1047 : invalid --skip error output