KrF laser system with corrected pulse front and compressed pulse duration