.gitignore now ignores .aux and .out files as well.