Patch matching options.

These are all of the same type MatchOption defined below.

Multiple flags per option are allowed and do not raise a conflict error. This is how Darcs currently operates, even though I suspect that it ignores all but the first MatchFlag (since it does so for many other options).

Given a suitable semantics (and documentation thereof), for instance "all the given patterns must match", this could be turned into a useful feature.