Removed old slime submodule
added auctex, some other stuff