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.