chore(cmake): do not delete coverage.info.cleaned which will be used for coveralls.io
chore(travis): add coveralls.io support
chore(travis): fix lcov permission problem
chore(travis): use gcov-4.8 on ubuntu
chore(travis): update coveralls.io repo token
doc(README.md): add coveralls.io's coverage badge
feat(lua): add mk_metavar to Lua API

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): add to_nonnull_expr

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): expose environment objects in the Lua bindings

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
fix(kernel/type_checker): add missing test, and kernel_exception has_no_type_exception

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(lua): allow lua scripts (embedded in Lean files) to access the environment

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(emplace_back): use emplace_back when appropriate

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
style(lua): use C++-style cast

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