I think coveralls is broken atm - we should check this before adding the badge back again.