Fix name of HeaderDoc config file
Remove generated HeaderDoc from repository
Update gendoc.sh for Git