String2Float hooked and Gappa prove added
Merge branch 'master' of https://github.com/kframework/k
First proof using Gappa.
excluding failing tests (for now).