Improvements to the run-tests.sh script

Adds support for coverage reports and higher verbosity. Also adds a test target to the Makefile to invoke the script.