A simulation of the Schwinger model in the overlap formalism