Support MP4 HTML video playback, fixes #161
Support MP3 HTML audio playback, fixes #161
Remove GTK doc files `rm -rf usr/share/devhelp usr/share/gtk-doc`