Update mediaelement.js to version 2.13.1 (see #6318)