Stellarium 0.12.3 Adds a New Bright Novae Plugin

Among the new features, we can mention that Stellarium 0.12.3 introduces a brand-new Bright Novae plugin, and adds intermediate value to ZHR of shooting stars between 80 and 10000. This release also fixes issues when saving Milky Way brightness via the GUI (Graphical User Interface), fixes Flamsteed designations for some Virgo stars, fixes a regression with the keyboard shortcuts of various plugins, and repairs the search tool.