Put Coverity stuff in Makefile, use new token from Config.