Removed no longer used lines from .gitignore

Those lines were initially entered to allow for easier push of the
thesis.