Update and rename 1-15.rkt to 15.scm