test-config-case: print only the Section we're interested in. This allows us to add additional settings to the global hgrc file created by run-tests.py without breaking this test.

Add ui.slash hgrc setting This will make most commands print paths using "/", regardless of the value of os.sep.

docopy: use repo.pathto to format paths for printing