Setup coverage

Closes #3.

We could set up [coveralls](https://coveralls.io) later if necessary, but for now it is down... (it doesn't appear to be a very reliable service).