Coverage results from coverage.py were off by one

The cobertura format uses line numbers indexed by one, and CTest uses a vector (0-indexed) to store them.