Small changes to ggtags, dired, helm, and added ws-butler