Change preferences file names to avoid collisions with other libGDX apps

This is because all preferences files use the same directory.
Preferences are used to store settings and in a desktop environment also
highscores.