Further improvements to port specifications.
Renamed flocking-midi.js to flocking-webmidi.js.