Update astro/kstars to version 4.12.2