Change repo address in front cover.
Fix build script.
Forget about copyright year substitution.
Front page, only mention sources. Won't do distributions for now on gh.
Add github pages publication script.
Fix distribution script.
Add .gitignore.
Switch to UTF-8 encoding.

This allows HeVeA to generate UTF-8 encoded pages, which is
mandatory on GitHub pages.