Micromachining with a pulsed gas laser