Updated Compcert to version 2.4

What it says on the tin.