Change Kane and Lagrange attributes

- KanesMethod has q and u as full attributes
- LagrangesMethod has q as a full attribute
- KanesMethod now stores forcelist and bodylist as attributes
Add @property to some attributes

- KanesMethod.q, .u, .forcelist, and .bodylist are all read-only now
- LagrangesMethod.q, .u, and .forcelist are all read-only now
Add branches of LambertW

fixes #7105
fixes #5215
Add --rerun option (and counter) to bin/doctest.  Assures a consistent API for test and doctest
Merge pull request #8070 from pbrady/doctest_rerun

Add --rerun option (and counter) to bin/doctest.
Add is_algebraic assumption

See http://en.wikipedia.org/wiki/Algebraic_number
Adopt test: (sqrt(3) + S.Pi).is_rational is False
Add is_number property for AlgebraicNumber
remove using of new assumptions in the polys module
Deduce algebraic fact with Gelfond-Schneider theorem

See http://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theorem
Deduce algebraic facts with Lindemann-Weierstrass theorem

See http://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrass_theorem
Fix Mul._eval_is_irrational: zero case
Add is_transcendental assumption

fixes #8000
Add Q.transcendental
Merge pull request #8049 from skirpichev/is_algebraic

Add is_algebraic assumption
Rename assumptions: bounded -> finite, unbounded -> infinite [1/5]

fixes #7943
Rename assumptions: bounded -> finite, unbounded -> infinite [2/5]

sed -i 's/is_bounded/is_finite/g'
Rename assumptions: bounded -> finite, unbounded -> infinite [3/5]

sed -i 's/is_unbounded/is_infinite/g'
Rename assumptions: bounded -> finite, unbounded -> infinite [4/5]

sed -i 's/bounded\(=[TFN]\)/finite\1/'
Rename assumptions: bounded -> finite, unbounded -> infinite [5/5]

Change some variable names