#18: add html_microphone.js

Resolves #18.