Documentation: add a description for 'gitfile' to glossary