22.214.171.124: git: Add a couple of new patterns to .gitignore
* One or more tests tend to create .so files in the tests/
directory. Ignore "tests/*.so".
* The process of building the manual produces a couple of .html
files in the doc/manual/ directory. Ignore "doc/manual/*.html".