Move Coverity to Gitlab CI
Right now our coverity builder is running on a cronjob on my desktop. Instead we should have it be a regular job on Gitlab. (Coverity Scan limits us to a certain number of builds per week, so we shouldn't do it on every commit.)
The script that I use is pretty wonky. I will attach it in a comment and describe its wonkiness. :)