wip
it works
cleanup
no more stack overflows
rm blc.php
move krivine to src
lift dependency on nikic/iter
minor typo
comment out debug output
add binary lambda calculus parsing
improve krivine error handling
add references to README
add some references to README