Create new proof: Topology world lvl 6

[lnay]

Create a new lean file with the name specified below in Game/Levels/content_drafts which correctly compiles and defines and proves the theorem below. Break into intermediate theorems/lemmas if necessary (to go into separate levels, or provided as 'given' helpers, tbd later).
file name	topology_wrld_L06.lean
proof	prove that some provided example is not haussdorff
extra info	I think open sets={cofinite} should work

Syllabus outline: #5