Merge pull request #200 from bnjones/master

Add missing space in "save worksheet" help text (issue #199)
Add installing wiki link to README.rst
Tighten Solve's check for tautologies (issue #208)

SymPy returns True if an equation is tautological. Since [1] == [True]
in Python, Mathics would accidentally treat an equation with one
result equal to 1 as a tautology. Fix this by using "is True" to check
for True.