Basic tools to produce VEGEST documentation This version avoids uploading artifacts: they have become too big for gitlab.