Makefile: modify the test-coverage-travis-ci target to include everything inside plumbing/models/.