Fixed O2 and V11 after merge from master.
Merge branch 'master' into 2625-complex-comparison
A better fix for test failure in test_zeta_functions.py (commit 80fe207)
Fix all test failures, except meijerint.py
An attempt to fix meijerint.py
Added until test_W23
Merge pull request #2522 from jrioux/interactive

Fix ipython tests when readline isn't available.
Merge pull request #2497 from toolforger/report-test-name-on-early-failure

Report test name in case of runtest failure; add missing print_function.
Merge pull request #2458 from asmeurer/split

Add --split option to split the tests and doctests
Merge pull request #2198 from zanzibar7/expand_Sum

Superclass Sum, Product, and Integral, revise Integral.subs()
Merge pull request #2491 from jrioux/tests

Fix mathml tests in python 3.
Add a test for the QQ integer conversion
Use _argset in preorder_traversal

This makes atoms much faster on LatticeOps (like And and Or), because it
avoids ever computing the sorted .args, which are internally stored as a
frozenset.  This is implemented as the default, because the docstring says
that if keys=False then no order is guaranteed, but if this becomes an issue,
we should perhaps make keys=True the default and set it to False in atoms (the
order never matters in atoms because it returns a set).
Merge pull request #2533 from asmeurer/satisfiable_bool

Make satisfiable work on instances of bool
Merge pull request #2532 from asmeurer/predicate-sympify

sympify the args of AppliedPredicate
Merge branch 'master' into satisfiable_expr

Conflicts:
	sympy/logic/tests/test_inference.py
Comment out the failing test
Also test for overflow

Previously this would raise:

OverflowError: long int too large to convert to float

Now it just works.
Merge pull request #2544 from certik/master_fix

Comment out the failing test
Added test cases until test_X5()