Allow extension override

One minor fixup followed by a change to let users of sharness override SHARNESS_TEST_EXTENSION if they wish to.