Update .md files after gitlab migration
In preparation for the coming 9.3.5 release, update the obsolete links and badges in .md files so they point to gitlab.com instead of github.com.
In preparation for the coming 9.3.5 release, update the obsolete links and badges in .md files so they point to gitlab.com instead of github.com.