Add HTML5 API; Edit error reporting; Update UA ver

This function is implemented in Biligrab 0.97.9.
Call them "default", "overseas", "mobile".

"html5" is not identical to "mobile".
Also, the word "mobile" instructs that the quality is lower, while "html5" does not.