Use ggtags
Revert "Remove flycheck"

This reverts commit 92e1db31a0f7dc449f8e643a972c7eb06fcac1b1.