The MV formalism for IBL-infinity and BV-infinity algebras