Update .gitignore
Use AutoDoc to build the manual
PackageInfo.g: update URLs