Update gitignore to not track documentation files for now (help)