Kathy Gray's ProfessorJ as a Racket v5.x package