Updates: piano roll tools, recording and midi keyboard

• Select tool: move and resize notes, copy, paste, delete
• Quantize and a snap setting
• Transpose, fit to scale
• Chord progressions and arpeggiate
• Tap tempo and a metronome
• Rec: write notes into the roll from the keyboard while the song plays
• MIDI keyboard input with real velocity (midi.js)