Merge branch 'release-implements_web_ide' into develop

* release-implements_web_ide:
  送信typeの修正
  送信情報の変更
  ソースコード送信機能の実装
  プッシュ機能のテスト
  JSの追加
  CSSの追加
スプリント1の機能を実装した
Merge branch 'implements_server' into server_merge_test

developとmergeする前にテストをしたかった
app.pyをルートに置いた
ws_listとandroid_listのグローバル変数を足した
app.pyルートに置きました
Merge branch 'release-implements_web_ide' into develop

* release-implements_web_ide:
  fontファイルの追加
myprint(デバッグ)no
の実装
Merge branch 'develop' into server_merge_test
なおちゃんがアイコンフォントを埋め込んだ
Merge branch 'release-implements_web_ide' into develop

* release-implements_web_ide:
  アイコンが2つ表示される不具合の解決
Merge branch 'develop' into server_merge_test
にゃおちゃん、アイコンフォント2つあるのを修正した
デバッグ用myprint実装した
Merge branch 'release-implements_web_ide' into develop

* release-implements_web_ide:
  ポート番号の修正
Merge branch 'develop' into server_merge_test
なおちゃんが8000番ポートを5000番ポートに修正
myprintをprintに書き換えた
接続さたりメッセージを送るコマンドが起きる度に、websockをデバッグプリントする
printの引数を直した
セッションが切れるときにDisconnect（文字列）を返す
Merge branch 'debug_runtime_error' into server_merge_test
実行時のエラーを取りました
Merge branch 'release-server_merge_test' into develop
スプリント1のサーバを書いた