travis: only do coverage analysis on linux