timeoutをする

時々，よく学期初めになるのですが，採点サーバーのCPUの負荷が100%になることがあります。apacheを再起動すると消えるので，採点の際にmaximaを呼び出すところで，何か生じていると考えられるのですが，不定期な現象なので原因を特定できません。

現在のバージョンには組み入れていませんが，次のver.2_2_5では，ubuntuに対して命令を出すときにtimeoutをつけてみようと思います。

timeout 30 maxima ....

上記だと，30秒ということになります。