[cpp-lib] <cmath>: inline all function definitions

[cheri] update build instructions to refer to cheribuild

[esbmc] prepared version 6.9

esbmc v6.8

created version 6.7 release

marked version 6.5

updated cmake to release v6.4

Signed-off-by: Lucas Cordeiro <[email protected]>

Version 6.3

Version 6.2