fix issue #85

[ayhsmt97]

issue #85 を解決する

やったこと

• hylagi.ts で timeoutOption、phaseNum、simulationTime オプションの数値判定を行うようにした
• phazeNum が負の値だと固まるので、とりあえず hylagi.ts で正負判定も併せて行った

まだ

• server.py でのオプションの検査

[ayhsmt97]

phase option の値が負の場合は無限に実行されるということだそうなので、正負判定は消した

[sano-jin]

server.py では，subprocess.Popen に hylagi を先頭要素にした引数のリストを渡して実行している． この時，これら引数のリストは; などの悪意のあるコマンドを注入しても，hylagi のコマンドライン引数として渡されるっぽい．

• 手元でテストした感じはそう．
• ドキュメントを読みすすめてはでいるが，実はそこでは確証は得られていないのが懸念ではある．．．が，まぁ shell =True も渡していないし多分大丈夫．．．なはず．．．