[WIP] Update charon submodule to latest HEAD#4254

tautschnig wants to merge 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

tautschnig:charon-updatetautschnig/kani:charon-updateCopy head branch name to clipboard