tools: make upgrade tool copy docs from go-mysql-server - #795

tools: make upgrade tool copy docs from go-mysql-server#795

ajnavarro merged 4 commits into

src-d:mastersrc-d/gitbase:masterfrom

erizocosmico:feature/import-gms-docserizocosmico/gitbase:feature/import-gms-docsCopy head branch name to clipboard