ci: rename travis -> ci and modify CI docs#66

Sylvain303 merged 1 commit intodocopt:masterdocopt/docopts:masterfrom

agilgur5:ci-update-docs-with-gh-actionsagilgur5/docopts:ci-update-docs-with-gh-actionsCopy head branch name to clipboard