Revert "Now use Istanbul to check code coverage"

This reverts commit 35ceff17d85d3ec76ae5dc921e96d30e97151a6c.