Show operands when an unification fails, so it is much easier to interpret

* The only information which can be given to fail() is debug info
* It defaults to init, as before
Merge pull request #161 from eregon/show_unify_fail_operands

Show operands when an unification fails, so it is much easier to interpret