fix(lua): use updated FindLua and check version 5.2
fix(shell/lua): move "#include<iostream>"
feat(lua/numerics): expose mpz and mpq numbers in the Lua bindings

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>