Push coverage data to coveralls.io

I'm not sure whether this works -- I'll be using this PR to test it. I'll let you guys know when it's ready for review!