DegreeDistributionExport should output same format

```
What steps will reproduce the problem?
1. Export DegreeDistribution with GUI
2. Export DegreeDistribution with CLI
3. If you run a diff between the generated files they don't match. This
is caused by different format for the probabilities (float/double).

What is the expected output? What do you see instead?
The probabilities format should be the same.

Please use labels and text to provide additional information.

You can check the ExportDegreeDistribution for Directed Graphs.
```

Original issue reported on code.google.com by `alvaro.andres.crespo@gmail.com` on 18 Dec 2013 at 9:21

まず ExportDegreeDistribution for Directed Graphs を見つけ、次にレポートで示されている GUI と CLI のエクスポートパスを追跡します。エクスポートを再現して生成されたファイルを比較し、確率のフォーマットに注目します。両方のパスが同じフォーマットを生成し、結果の diff が空であれば完了です。

索引モデルが issue の本文から書いたものです。