Bundle `frozen` dependency (and possibly others) with git subtree

Git subtree has the advantage that the files are part of this repository
but can be easily integrated from and to upstream.
It allows fully self-contained builds and thus also simplifies our CI configuration.