add attributes to IR instructions #67
Description
Stmt.t variants need to add an Lang.Attrib.t field like expressions (AbstractExpr.t), and the attribute list of statements should be loaded into this in loadir.ml.
In addition to the stated attribute list a source location range can be added similar to the approach for expressions.