Rename main.rkt for raco pkg compatibility