Update Readme to be accurate

- It was still talking about using Carl's compiler