Added a library of standard AGREE ops (std.aadl) and updated
documentation.