travis: begin adapting for Coverity/Github integration