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. Fixes #865