The webv4 directory is now part of the repo, so install it to the
install target directory too.

When SYMLINK=1 is used, symlink the following directories (rather
than copying): docs, exec, text, web, webv4, and xtrn. This will
hopefully make subsequenit updating (via git) easier for most sysops that use
this installation method. Let the merge conflicts insue.