Move metavariables to the kernel. This is the first step for implementing the new elaborator.

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

- Use precompiled cmake
- clang + ninja + release build still has a bug. Use make instead.
Fix typo in .travis.yml
Fix typo in .travis.yml