Update .bat files so they work on directories with spaces in the names. Update the contents.xml manifest
#!/usr/bin/env python
"A script for invoking coverage from the command line."
import sys
del sys.path[0] # Otherwise "import coverage" finds this file!
import coverage
coverage.the_coverage.command_line(sys.argv[1:])