Release version 0.13.0

This updates version numbers in `README.md` and other files,
including the `git.baseVersion` setting in the `renaissance-core`
sub-project.

README.md

@@ -26,7 +26,7 @@ This allows you to execute the following `java` command:
 
 
 ```
-$ java -jar 'renaissance-gpl-0.12.0.jar' <benchmarks>
+$ java -jar 'renaissance-gpl-0.13.0.jar' <benchmarks>
 ```
 
 Above, `<benchmarks>` is the list of benchmarks that you wish to run.
@@ -268,7 +268,7 @@ arguments to that plugin (or policy).
 The following is a complete list of command-line options.
 
 ```
-Renaissance Benchmark Suite, version 0.12.0
+Renaissance Benchmark Suite, version 0.13.0
 Usage: renaissance [options] [benchmark-specification]
 
   -h, --help               Prints this usage text.
@@ -312,7 +312,7 @@ $ tools/sbt/bin/sbt renaissanceJmh/jmh:assembly
 To run the benchmarks using JMH, you can execute the following `java` command:
 
 ```
-$ java -jar 'renaissance-jmh/target/scala-2.12/renaissance-jmh-assembly-0.12.0.jar'
+$ java -jar 'renaissance-jmh/target/scala-2.12/renaissance-jmh-assembly-0.13.0.jar'
 ```
 
 

documentation/jar-bundle.md

@@ -1,7 +1,7 @@
 # Renaissance JAR bundle content
 
 This document describes the structure of the JAR file with the benchmark
-(e.g., `target/renaissance-gpl-0.12.0-2-SNAPSHOT.jar`).
+(e.g., `target/renaissance-gpl-0.13.0-2-SNAPSHOT.jar`).
 
 Directly inside the JAR are classes from the `renaissance-core` subproject
 that also contain the launcher. This also ensures that these classes are

plugins/jmx-timers/README.md

@@ -21,7 +21,7 @@ Note that we specify an output file as the counters are not visible on the
 standard output.
 
 ```shell
-java renaissance-gpl-0.12.0.jar \
+java renaissance-gpl-0.13.0.jar \
   --plugin plugin-jmxtimers-assembly-0.0.1.jar\
   --json results.json \
   ...

plugins/ubench-agent/README.md

@@ -34,7 +34,7 @@ Note that we specify an output file as the counters are not visible on the
 standard output.
 
 ```shell
-java -agentpath:libubench-agent.so-jar -jar renaissance-gpl-0.12.0.jar \
+java -agentpath:libubench-agent.so-jar -jar renaissance-gpl-0.13.0.jar \
   --plugin plugin-ubenchagent-assembly-0.0.1.jar --with-arg PAPI_L1_DCM,PAPI_L2_DCM \
   --json results.json \
   ...

renaissance-core/version.sbt

@@ -1 +1 @@
-git.baseVersion := "0.13.0"
+git.baseVersion := "0.14.0"