Add Float and Trans theories into RZIL

[XVilka]

Currently only supported theories are:

• Bool
• Bitvector
• Mem (Array)
• Effect

The biggest missing chunk is the Float theory

• Implement IEE754 types and helper APIs in RzUtil
• Implement Fbasic operations Add fbasic theory to rzil using rz_util/float #3184
• Cover these by unit tests
• Add rounding modes (Rmode) operations
• Add Trans (transcendental) operations

See:

• http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/Float/index.html
• http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/Rmode/index.html
• http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/module-type-Fbasic/index.html
• http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/module-type-Float/index.html
• http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/module-type-Trans/index.html
• http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/IEEE754/index.html

Implementation is at https://github.com/BinaryAnalysisPlatform/bap/blob/master/lib/bap_core_theory/bap_core_theory_definition.ml

Note, I think that Trans theory should be separate from the Float in the code.

http://binaryanalysisplatform.github.io/bap/api/odoc/bap-core-theory/Bap_core_theory/Theory/module-type-Core/index.html

[XVilka]

Better description of the rounding modes is here: http://binaryanalysisplatform.github.io/bap/api/master/bap-core-theory/Bap_core_theory/Theory/module-type-Float/index.html#rounding-modes

@brightprogrammer @Heersin @imbillow