Use git subtree

FTW!

That imports the full history of our subtrees.