Prepare for 1.13.0 release.

CHANGELOG.md

-# Changes in version 1.??.? - 2019-??-??
+# Changes in version 1.13.0 - 2019-11-09
 
  * Medium changes
    - Extend index.json by including descriptor types, first and last
@@ -12,6 +12,8 @@
       4) ContribPath has disappeared, and
       5) HtdocsPath is a new directory with files served by the web
          server.
+   - Tweak BridgeDB metrics file names.
+   - Update to metrics-lib 2.9.0.
 
 
 # Changes in version 1.12.0 - 2019-10-18

build.xml

@@ -9,7 +9,7 @@
 
   <property name="javadoc-title" value="CollecTor API Documentation"/>
   <property name="implementation-title" value="CollecTor" />
-  <property name="release.version" value="1.12.0-dev" />
+  <property name="release.version" value="1.13.0" />
   <property name="project-main-class" value="org.torproject.metrics.collector.Main" />
   <property name="name" value="collector"/>
   <property name="metricslibversion" value="2.9.0" />