Adding Huygens config to repository. This is copied into the user's
home directory as ~/.huygens-gconf/ the first time they log onto
the Huygens server, and the ~/.gconf symbolic link is pointed to
~/.huygens-gconf/ instead of ~/.cvl-gconf/