.git ignore a thing.
Add link to github page
Merge branch 'master' of https://github.com/notno/tractatus