Renamed some benchmark files

Changed the file extensions from '.rkt' to '.scm'