Qed v1.1

In sync with Frama-C Sulfur+dev version.

Summary of Changes:

moving to OCaml 4.04+
adopting jbuilder
using Zarith (Z and Q) for numerical constants
ground simplifications in Q

Qed v1.0

Qed Public Release in sync with Frama-C Phosphorus version.