- added necessary files in EXTRA_DIST to generate the tarball correctly,
  - added missing files in the repository.
The documentation generation through make dist has been successfully tested.