Compcert 2.4

Closes #33097.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
pyenv 20141011

Closes #33098.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
valabind: fix build against vala 0.26

Fixes #33087.