Moving the Int and Float declaration from SDF into K.
Adding copyright comment.
Hrr... another file.
Reverting the change to int32.k
Merge pull request #423 from kframework/int-float

Moving the Int and Float declaration from SDF into K.
refactor kast options

* delete --fast-kast option
* use JCommander for KAST
* remove all but one field in GlobalSettings
fix copyright
fix ktest xml for --parser