Update docs for testing with coverage howto