Revert "Initial commit."

This reverts commit d438f46b696bb5712520a0c90088a27ae12255bb.
Revert "Delete binary archives."

This reverts commit 7dcc27ca0f8104a4983c75e00407a2c627cadc2f.