v0.5.1

What's Changed

Fix heavy auto-save feature
Fix media sometimes not having progress bar
Fix media seeking algorithm
Playing audio displays current play time and total audio time
Remove PMP player, native player plays many formats including MP4, and many audio formats
Remove stale JS frontend code
Quick menu is native, remove js implementation
Add new option for media player as the top app

There are many improvements that need to be done for file navigation.

Full Changelog: v0.5.0...v0.5.1