fix libxml
Forgot .gitignore file
Merge remote-tracking branch 'origin/fix-rot13+sudoku-xmllib' into fix-rot13+sudoku-xmllib