Merge branch 'feature/typing/less-casts' into 'master'

Companion MR to frama-c!3654: update oracles

See merge request frama-c/frama-clang!167
5 jobs for master
Name Stage Failure
failed
git-update Git Update There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log