Add /doc/{rustc,syntax} to .gitignore