Add "Constructive mathematics and computer programming", "Infinite terms
and a system of natural deduction", as well as some missing
items.
Forgot to add one item to README
Try to fix borken link in README.
Fix README
[ README ] Putting everything in a nice table
Merge https://github.com/stevana/martin-lof

Conflicts:
	README.md
Add pdf to Hauptsatz paper, thanks to Fredrik NF
Add bibliography.bib file.
Forgot to link to raw file.
Forgot pdfs path.
Merge pull request #2 from stevana/master

Three more papers with sources, a couple without, as well as fixing the broken link from the last pull request and adding a bib file.