bump version

cargo-klee/src/main.rs

@@ -22,7 +22,7 @@ fn main() -> Result<(), failure::Error> {
 
 fn run() -> Result<i32, failure::Error> {
     let matches = App::new("cargo-klee")
-        .version("0.3.0")
+        .version("0.4.0")
         .author("Lulea University of Technology (LTU)")
         .about("KLEE analysis of Rust application")
         // as this is used as a Cargo sub-command the first argument will be the name of the binary