Add submodule in plutus and depend on plutus-cert cabal package

[jaccokrijnen]

• [ ] plutus-cert repo as submodule of plutus
• [x] separate cabal package that extracts from coq during build
• [ ] plutus compiler only has glue code and depends on the package