Added termite package and updated vte to be compatible.
erlang/R17: update to 17.3
Merge pull request #4154 from k0ral/termite

Added termite package and updated vte to be compatible.
Merge pull request #4159 from ftrvxmtrx/erlang-17.3

erlang/R17: update to 17.3
coq_HEAD: Revert "update to latest Git version"

This reverts commit bf009f87a944a7664a8af340caa5444537400fc1. The update
breaks the build.