CI で利用する S2E Core のバージョンを上げる

[meltingrabbit]

詳細

• Common Packet のディレクトリ変更 #310 が S2E Core の実験的機能である Command Sender に対して Breaking だった．そのため S2E Build CI がとおらなくなった
• その修正のための Make C2A command sender optional ut-issl/s2e-core#619 （Command Sender がデフォルトで OFF になる）を取り込むために S2E Core のバージョンを上げる
• なお，抜本解決には Support c2a-core v4.4.0 (C2A command sender) ut-issl/s2e-core#610 が必要．

[meltingrabbit]

@sksat そういえば，これ renovate が動かないのってなんででしたっけ（renobate が semver のどこの桁までみてるかって，どこの設定見ればわかりますか？ 今，パッチバージョンは見てなさそう？）

[sksat]

@meltingrabbit 動いてますが............: #294

[meltingrabbit]

ほんとや