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
Update .travis.yml

- force to use precompiled cmake
- do not delete old doxygen files (will fix later)
[skip ci]
Make unification_problems a virtual class. Associate a 'standard' context with each metavariable in metavar_env

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add timestamp to metavar_env

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix typo in script/dropbox_upload.py
Add EXCLUDE_PATTERNS to src/Doxyfile

- */src/cmake/*
- GTAGS GPATH GRTAGS
- memcheck.supp
- *.cmake *.cmake.in
-  *.txt
Use GNU parallel to upload doxygen files to dropbox

[skip ci]
Add mpq(string s, unsigned radix) constructor
Add SMT frontend (skeletal)
Update smt parser
Update SMT parser
Update
Update options
update
update
Pick get-option, set-option
fix elaborate
checkpoint