Merge pull request #332 from coq-community/v0_3_7

bump to 0.3.7

Author: thery

package.json

@@ -7,7 +7,7 @@
     "email": "[email protected]",
     "url": "http://people.csail.mit.edu/cj/"
   },
-  "version": "0.3.6",
+  "version": "0.3.7",
   "publisher": "maximedenes",
   "license": "MIT",
   "icon": "images/logo.png",