Moved trishume contrib and better Racket support
Extracted a separate layer for Auctex
Merge branch 'trishume/fix-up-contrib' into develop