Remove stellarium-0.12.0 as it is in main tree now.