Rename 1-20.rkt to 20.scm