Add boris.js and require it and pushevent.js