Add monokai-theme and ggtags-mode
Change slime to sly