Adaptive optics system for a short wavelength mid-IR laser based on a Shack–Hartmann wavefront sensor and analysis of thermal noise impacts