Log Message:
Changes 9.0:
* A new User interface based on wxWidgets
* Amaya provides now a panel of tools on the left which can be hidden or shown
* All Amaya versions use now F2 key. A message is displayed when the Esc key is used
* Default GTK fonts are now expressed in point sizes
* WX version: when a 2nd Amaya instance is launched, the argument of the 2nd
  instance is sent to the first instance and the 2nd one stops