Add formula for lutok, add formula for kyua

* Add formula for lutok, a lightweight C++ API for Lua 
* Add formula for kyua, a software testing framework.  kyua uses lutok