Update version to 0.3.0

Author: monadius

package.json

@@ -1,8 +1,8 @@
 {
     "name": "hol-light-simple",
-    "displayName": "HOL Light (simple)",
+    "displayName": "HOL Light",
     "description": "An extension for VS Code which provides support for HOL Light",
-    "version": "0.2.0",
+    "version": "0.3.0",
     "license": "SEE LICENSE IN LICENSE",
     "publisher": "monadius",
     "engines": {