Tactics for topology

Currently we have one domain-specific tactic for topology: continuity. It is implemented in Mathlib.Tactic.Continuity.

Porting note: the sole purpose of this file is to mark it as "ported". This file seems to be tripping up the porting dashboard.