Changes to ocaml-mlgmpidl:

• Update to latest subversion snapshot for miscellaneous bug fixes
• Fix documentation installation and make the -doc subpackage be noarch
• Build a shared ocaml library (cmxs) in addition to the static (cmxa) library

Changes in frama-c Silicon:

• See http://blog.frama-c.com/ for information on changes in this version

Changes in why 2.37:

• Compatible with release Aluminium (a.k.a. 20160502) of Frama-C
• compatibility with Why3 from 0.86.1 to 0.87.3

Changes in why 2.38:

• Compatible with release Silicon (a.k.a. 20161101) of Frama-C

All other packages are simple rebuilds due to the other changes, and due to previously undetected coq dependency issues resulting from the Fedora 26 mass rebuild.