Add lambda lifting
Write compiler (lambda -> SKI) (SKICC.hs)

Compiler converts lambda expression to SKI combinator
Add some rewriting rules
Add README.md