Add integration test on ubuntu

[satos---jp]

Ubuntu用のintegration testのPRです

• spotのビルド(のmake -j8まで)が重いのでキャッシュするようにしました。初回ビルド時には10分程度かかりますが、キャッシュがあると1分程度でintegration testができます。
• macのほうでspotのconfigureに問題があった(workflowのmac環境ではPythonのバージョンが3.12なのですが、spot-2.11.5までのconfigureはdistutilsの具合でPython3.12では正しく動かなかった)のでspotのバージョンを2.12に上げました
  • ところで修正を試みているのですが未だmacでのビルドがなんか壊れています... 詳細は【ここにmacのPRが入る】
• prismとAALpyのバージョン指定がなかったので、とりあえず、それぞれ 4.8.1-linux64-x86 と v.1.4.1 (どちらも最新)にしてみました。