Bump version to 0.13.1

.travis.yml

@@ -6,6 +6,6 @@ services:
   - docker
 
 script:
-- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.0-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
+- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.1-ubuntu18.04 /bin/bash -c 'cd /root/occlum;
                 info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi;
                 make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test'

README.md

@@ -175,7 +175,7 @@ Step 1-3 are to be done on the host OS (Linux):
 
 3. Run the Occlum Docker container, which has Occlum and its demos preinstalled:
     ```
-    docker run -it --device /dev/isgx occlum/occlum:0.13.0-ubuntu18.04
+    docker run -it --device /dev/isgx occlum/occlum:0.13.1-ubuntu18.04
     ```
 
 Step 4-5 are to be done on the guest OS running inside the Docker container:

src/libos/Cargo.lock

@@ -2,7 +2,7 @@
 # It is not intended for manual editing.
 [[package]]
 name = "Occlum"
-version = "0.13.0"
+version = "0.13.1"
 dependencies = [
  "bitflags",
  "bitvec",

src/libos/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "Occlum"
-version = "0.13.0"
+version = "0.13.1"
 edition = "2018"
 
 [lib]