Reindent, delete trailing whitespace, ggtags-treat-text