Development of an Electron-Beam-Pumped High-Power KrF Laser as a Short-Pulse Amplifier