push: Directly replace the tree instead of using a patch.
push: Directly replace the tree instead of using a patch.

This should avoid problems specific to patches, such as #59.

Bonus: Add the cache repo as an alternate instead of fetching from it to
save some work.

cristibalan/braid