Fix @coverage_with_hotshot output to match @coverage exactly

The "%d lines were not executed." was missing.

Add tests for hotshot-based decorators, to be enabled only if hotshot is
available (under Python 3 it's not).