fix #2 apply gator.js changes
fix #3 add submodule of gator.js