Add the coverage to the testing

The Travis CI configuration has been updated to compute the code
coverage as well.