CI: add build and fix dead links#6

pascalgrimaud merged 1 commit intoseed4j:mainseed4j/seed4j.github.io:mainfrom

pascalgrimaud:ci-add-buildpascalgrimaud/seed4j.github.io:ci-add-buildCopy head branch name to clipboard