 Solution

The cosets of an open subgroup $H$ form an open cover of the compact space $G$. A finite subcover exists. Since distinct cosets are disjoint, that subcover must contain every coset. Thus $[G:H]$ is finite. Neither normality nor Hausdorffness is needed for this argument.