Update Web MIDI version

Currently, we use Web MIDI version 2.5.1, and we should update to the latest stable 2.5.2 version.