Automate code coverage reporting

We can easily measure code coverage in IntelliJ, but this can be automated as an Ant task, i.e. by providing an ant coverage target.