New .gitignore list.
Adapt to the new manifest port in proj:build.
Minor documentation edit.
Add a new manifest port, factorize out steps in library.xpl and use an external stylesheet in proj:zip-structure.