Added slimv options for racket, and added racket plugin