astro/stellarium: update Stellarium to version 1.2

Some sky cultures had been renamed, two new added.
While here, switch to smaller .tar.xz distfile and
make data export to Excel files support optional.