Add version.txt for release 0.13.0
diff --git a/version.txt b/version.txt
new file mode 100644
index 0000000..54d1a4f
--- /dev/null
+++ b/version.txt
@@ -0,0 +1 @@
+0.13.0