Add X-Macro system for generating addInfo() specializations for Stmt classes.

The current specializations for IfStmt and ReturnStmt have been converted to
this system, and a new specialization for BinaryOperator has been added.