release 1.0.7 of the metrics plugin is out

I just released version 1.0.7 of the metrics plugin.
This release has not many externally visible changes,
but is internally completely reorganized in order to
allow extensions to specify metrics. As a result,
others can now extend the framework by adding new metric
calculators. The preference page shows all discovered
metrics and allows the order in which they are shown to be
changed. Note that the change in download size is due to the
added api docs, not code...

Enjoy,

Frank