Renaming .mkt -> .rkt

Renaming .mkt files to .rkt.