update readme

README.md

@@ -1,3 +1,3 @@
 # Pepper-Plugin
-
+ 
 This is a vscode plugin for pepper prover. Before using the plugin, you need to add `Pepper` to the path. And open a proof script (eg. `test.pepper`). Then `Alt-Shift-P` to activate the plugin.