Change the references to Trac to Gitlab in the documentation