time で複数のコマンドの合計実行時間を知る