Topological interior of manifold subsets

[mkoeppe]

We define a subclass of ManifoldSubset whose instances represents the topological interior of a given subset in the manifold. It will be a superset of any open subset of the given subset.

Subsets provide a method interior to construct it.

Component: manifolds

Issue created by migration from https://trac.sagemath.org/ticket/31757