Version 1.8.490 - Bugfixes, faster loading and better buttons

• Better buttons in menus and options
• More readable texts in menus and credits (thanks to u/Ms_ellery for the hint)
• Castle Game Engine upgrade: faster loading on Android
• Fix rare crash on old Android devices
• Fix bug when player could teleport straight into treasure
• Executable flag is now automatically set on Linux
• +2 hints

Debian/Ubuntu build is temporarily left at previous version.