Added domplotter.min.js for version 1.3.1