The Extragalactic Distance Scale Key Project. IV. The Discovery of Cepheids and a New Distance to M100 Using the Hubble Space Telescope