Added ignore of .synctex.gz(busy), which sometimes linger for extended periods of time