use getopt for arg processing
add test.lam for tracing execution of Krivine machine
extract helper functions newC, pushS, popS, pushE
add parameters to newC to setup newly created closure
replace prefix decrement with postfix decrement to show clearly that r is the value being decremented