Options.clear() does not actually clear the database #63

First seen in #62.

It means that the options.clear() calls in https://github.com/firedrakeproject/petsctools/blob/main/tests/test_options.py#L25 are merely aspirational.

Since petsctools.Options inherits from PETSc.Options this will require an upstream fix.