Re-enable coveralls

We used to have it, but it was disabled.

@nigelbabu Do you remember why?