Some tweaks to ggtags-kill-file-buffers and release v0.7.0