Patch implementing path-scoped tools

This patch adds two new scopes:

<scope>/some_path/*</scope> is a subset of the request scope restricting the instantiation of tools to servlet requests having an URI that begins with /some_path/.

<scope>/some_pathname</scope> is a subset of the request scope restricting the instantiation of tools to servlet requests whose URI matches exactly /some_pathname