git: ignore PID files