Pioneers 15.3 released

A new version of Pioneers has been released.

Changes:

• Relicense of the desktop icons to CC-BY-SA-4.0

Version 15.2 was not announced here, it contains:

• Ported from GTK+2 to GTK+3
• A new computer player, by Rodrigo Espiga Gómez