Update README.md

Break a line in the installing instructions for compcert (it overflowed)