Vendorize Onion MkDocs

Vendorize Onion MkDocs, so it's easier to retrieve updates.