Update GitLab link on the footer
We may also discuss the usefulness to have a public gitlab link when people outside gnugen don't (can't) have an account.
We may also discuss the usefulness to have a public gitlab link when people outside gnugen don't (can't) have an account.