add Makefile
added Gentzen LK to main matter