Rename workingredline.rkt to main.rkt