copied template to gentzen LK
add Makefile
added Gentzen LK to main matter
added lk rules and some text
fixed typos
shorter version fits onto one page now
merge done
homogenized LJ and LK
Merge pull request #2 from quicquid/master

Adds Gentzen's LK to Encyclopedia