HTML UIのチャンネル一覧で諸々の操作が動かなくなっていたのを修正した

HTML UIのチャンネル一覧で消しちゃいけない関数を消してしまいエラーが出ていたのを修正した。
UA・サーバ名としてデフォルトでなく適切なバージョン名を出力するようにした

外から接続されたときに使っているバージョンがわかるように、起動時にUA・サーバ名として使われる値を適切に設定するようにした。
Bumped version up to 1.3.1