export hit.Connectedness from HoTT
Merge pull request #529 from mikeshulman/importconn

export hit.Connectedness from HoTT