Temporary fixed bug in function_sum
Made the following changes
1] Integrated the lie group solver with dsolve using ode_lie_group
   hint.
2] Replaced int with S(int)
3] Corrected classify_ode test failures
Made the following changes
1] Added a few tests
2] Better algo to eliminate arbitrary functions from output
   of pdsolve
Made the following changes
1] Changed the algorithm so that even if solve or any other function
raises Error, another heuristic is used
2] Removed duplicated test
Fix print_cache
Made the following changes
1] Improved documentation
2] Added doctests
3] Return solution for integrate as it is, if it cannot be solved
   for y
Test to check bug in dsolve
Added arguments for user-defined infinitesimals
Explicitly define variables in the polys benchmark

This avoids an enormous number of pyflakes errors for this file.
Explicitly define variables in bench_groebnertools.py
Fix _extract_facts: don't fail if expr is bool
Merge pull request #2389 from asmeurer/polysbench

Explicitly define variables in the polys benchmark
Moved matching of user defined infinitesimals to classify_ode
Fix issue 3633: raise if assumptions are not satisfable
Added @XFAIL test
Merge pull request #2379 from Manoj-Kumar-S/constant

Added XFAIL test for dsolve
Merge pull request #2394 from skirpichev/3633-inconsistent-assumptions

Fix issue 3633: inconsistent assumptions
Merge branch 'master' into liefinalintegration

Conflicts:
	sympy/solvers/tests/test_ode.py
Merge pull request #2375 from flacjacket/iteritems_fix

Fix print_cache
Merge pull request #2359 from Manoj-Kumar-S/liefinalintegration

Integration of the Lie Group Solving method