Upgrade to dossier 0.7.2

Author: jleyba

javascript/node/deploy.js

@@ -410,7 +410,7 @@ function generateDocs(outputDir, callback) {
 
   var command = [
       'java -jar', path.join(
-          __dirname, '../../third_party/java/dossier/dossier-0.7.1.jar'),
+          __dirname, '../../third_party/java/dossier/dossier-0.7.2.jar'),
       '-c', configFile
   ].join(' ');
   child_process.exec(command, callback);