Update the README to reflect new main.rkt