.gitignore: ignore server/tmp