Upgrade clightgen with the new features of CompCert 2.4 (single floats, etc).