Moved the jenkins migration doc into the migration
folder, where it belonds. Other related docs will
be located here too, like CircleCI and GitHub Actions.