Add link to GitLab somewhere to website

A link to the (now open sourced) software in this GitLab repo should be placed on the website.