Builds for frama-c

Latest: 20220511-manganese-3