GitLab

We should include metrics-lib's JavaDocs on the Metrics website, possibly at https://metrics.torproject.org/metrics-lib/*. We'll likely want to automate this using Ant and possibly a Git submodule. For that we could either build metrics-lib as part of metrics-web, or we could just generate the docs for metrics-lib's sources in metrics-web's build file. Once we have this Git-and-Ant magic in place we should update metrics-lib.jsp and link to the JavaDocs, once in the jumbotron and once more in the "Next steps" section.