Updated coproduct.m to import from Lyndon Basis .mx file if it exists, and a .dat file if not.