update domino.js to 1.3.7