Simplified file_to_string using the version in CompCert
Simplified file_to_string using the version in CompCert

touist/touist,FredMaris/touist,touist/touist,olzd/touist,FredMaris/touist,touist/touist,olzd/touist,olzd/touist,FredMaris/touist,touist/touist