PackageInfo.g: Unify various URL strings

Also, automatically use the current package version in the ArchiveURL
Update .gitignore
makedoc.g: call CopyHTMLStyleFiles()

This ensures *.css and *.js files stay up-to-date. In particular,
we can now remove the ancient and obsolete doc/manual.css in
the repository.