Added possiblity to add own UrlMatcher

It is now possible to specify your own UrlMatcher calling
$sea->setUrlMatcher($matcher).
This is indispensary in a production environment! Use the
PhpMatcherDumper for this!