Catch 1.0 build 2.
Function interface change: add_variable optional and +=

* add_variable is now optional to call before add_term
* operator +=
assertion_failed only prints file name.