Add matrix addition

Namely the predicate add_matrices(+Matrix, +Matrix, ?Matrix)