added giraffe dashboard into tools documentation
added support for ceres-based back-ends for /metrics/index.json
whoops, fixed metrics/index.json output for ceres
Merge pull request #130 from rowanu/ceres_support

Ceres support for /metrics/index.json
Merge pull request #129 from kenhub/master

added Giraffe dashboard into tools documentation
Merge pull request #140 from richg/0.9.x-win

Minor changes for windows compatibility
Merge remote-tracking branch 'upstream/master'