Why3 for SPARK FSF 15.1.0

Merge branch 'topic/kanig-854-fsf' into 'fsf-15'

Use correct runners for MacOS ARM/x86-64

Issue: eng/spark/spark2014#854

See merge request eng/spark/why3!87