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.
#header## HG changeset patch# User #author## Date #date|hgdate## Node ID #node##parent%changesetparent##desc##diff#