Added .gitignore to keep typeset files out of repository
Modified .gitignore