Also test clover on travis (will fail)

but then we can make a bug report.