Update .travis.yml
 - move "Trigger Bitbucket" and "Trigger OSX build" to the
 after_script section so that their failures do not generate build
 failures (which will occur at lean-leo build)
 - move "install doxygen & graphviz" to the after_script to avoid a
 build failure due to the timeout of those package installations.
 - trigger both of OSX & Windows build+tests.
Add .travis.win.yml for windows build&test
Update README.md to put windows build image

[skip ci]
Add .travis.windows.yml
Update .travis.yml

comment-out "apt-get install graphviz", it takes too much time because it depends on LaTeX. Maybe it's better to move this operation on OS X side where homebrew can build graphviz without LaTeX.

[skip ci]
Update src/CMakeLists.txt to increase stack size for windows build

[skip ci]
Fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bug in display_decimal. Add more mpq tests

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

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Track recursion depth at normalizer. Add fluid let template.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add option to control maximum recursion depth in the expression normalizer

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

Conflicts:
	src/tests/kernel/normalize.cpp
Add head_beta function

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

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

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