Naev: Naev 0.12.4 Released!

This is the fourth maintenance patch of the 0.12.0 release. It contains fixes for several crashes, including a fairly high impact one when shooting asteroids with explosive weapons. It also ensures that no pirate presen…