Remove the coq depopt of frama-c for now

This coq depopt constraint is causing the opam constraint solver to return incorrect answers resulting in widespread build failures.
Merge pull request #866 from dsheets/patch-12

Remove the coq depopt of frama-c for now