Fix #33: support running ggtags on remote hosts (via tramp)

Tighten file name checking in ggtags-delete-tag-files.
Mention `enable-remote-dir-locals' in ggtags-process-environment.