ignore texlipse settings file