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
Merge https://github.com/stevana/martin-lof

Conflicts:
	README.md