Deps.hs: Added -X FlexibleContexts for ghc7.10
Deps.hs: Added -X FlexibleContexts for ghc7.10

  see
https://downloads.haskell.org/~ghc/7.10.1-rc1/docs/html/users_guide/release-7-10-1.html#idp5770992

rolph-recto/liquid-fixpoint,ucsd-progsys/liquid-fixpoint