added travis detection to the coveralls formatter