Adds changes lost when migrating to GitHub.

The world record is shown at the end of the levels.

The size of the score line at the end of the levels is constrained.

Adds Spanish and Portuguese translations.

Adds missing accents in Fontopo.

Windows' installer is available in French, Spanish and Portuguese.
Assigns a size to the font used for the world record.
Spanish and Portuguese buttons have a white text.

Add the missing sprites for the key dialog.
Merge branch 'master' of github.com:j-jorge/asgp into android-merged-textures
Handle the quit button on Android.

The application is closed at the end of the main() function.

Removes the exit button, since Android guidelines tell not to put
quit buttons in the app.