Run Coverity on master for now, just to get us going