.gitignore: mv tools/greg => syn/greg