Classification of compact surfaces

This module re-exports the current project skeleton for the Lean Eval challenge topological_classification_of_surfaces.