Sync up with upstream pocketsphinx, with latest changes in emscripten, and adjust docs