Commit basic implementation, ui.html and mp3player.js

It works except for filters, custom keybindings, UI details, etc, etc...

Time stretch algorithm is very naive so that I want to replace it with
some other professional things.