added .gitignore
added some more items to .gitignore
added .gitignore
added some more items to .gitignore
merge: add .gitignore
added header
added output file, in case you can't typeset it
Merge pull request #1 from chaimleib/master

added header