Ignore hdevtool.sock in gitignore