updates readme

just a minor update: `bap-veri` is not an executable anymore, but just a command to the main BAP frontend

Author: gitoleg

README.md

@@ -80,7 +80,7 @@ really different, since only not equal events goes to matching.
 ##Usage
 Program works only with files with `.frames` extension.
 ```
-bap-veri --show-errors --show-stat --rules "path to rules file" PATH
+bap veri --show-errors --show-stat --rules "path to rules file" PATH
 
 `PATH` is either directory with files from a tracer, either a file.
 `show-errors` option allows to see a detailed information about BIL errors