Added code for simplify to call simplify_logic
Added _eval_simplify to Boolean
Added tests, changed expr._eval_simplify to sympify(expr)._eval_simplify
simplify bool mods

The code in simplify has been restored with a preceding
sympification (and quick exit in case expr is not Basic).

The code for `_eval_simplify` was moved from Boolean which
handles Eq (which is not a Boolean -- why is THAT happening??) to
BooleanFunction.

The tests in boolalg were patched with the correct return value
instead of the incorrect 'ans'.
Merge pull request #8 from smichr/simplify_logic

simplify bool mods
move special handling in simplify to class level
Merge pull request #9 from smichr/simplify_logic

move special handling in simplify to class level
Removed unnecessary import
add _eval_simplify to Atom
Merge pull request #10 from smichr/simplify_logic

add _eval_simplify to Atom
Merge pull request #1715 from srjoglekar246/simplify_logic

Fix issue 3155