Merge branch 'fix/andre/migration-script' into 'master'

[dev] do not stop migration script on errors

See merge request frama-c/frama-c!2439

bin/migration_scripts/git-replace.sh

-#!/bin/sh -eu
+#!/bin/sh -u
 git replace fbe13264f29d59b5388096281f98f05116b17f76 8e6afe71d01b1bc4f4d778a5326d0a2e1f2998b3
 git replace cef5bf08946dccaf6b51e515eea76443976e6550 8bd30e2d47ffab72507d5ea291bdbd9f0fea0384
 git replace 32d8c505805a060e5112c104ea0ffe06c6df308d 3fb543f7adaac4c2942c45f0244f270c86c23605