A Topology for the Space of Countable Models of a First Order Theory