stellarium: version bumped to 0.12.0.