Dolphin Splash! Updated to v1.2.0

The changelog this time is:

• Upgrade/update to the new (community-built) Achievements library . .. and replace my own menu with it’s new Viewer module, . .. and show the player partial achievement progress as well.
• Fix stutter in leaderboards animation.
• Fix visual glitch in-game when swimming (nearly) straight upwards.

Previously Dolphin Splash! was using an older (in-development) version of the community-built Achievements library – to which I contributed some code as well. Now, they’ve released the first version, so that the achievements are all in a standard format, which would be visible to a (currently hypothetical) achievement-app on the Playdate.