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>