rmdf: use minified gl-matrix and dat.gui