Corrected XML for new MAV_DISTANCE_SENSOR message
mavlogdump.py tool now outputs more decimal places.
This fixes a bug where the script would label two timestamps as distinct, but then output them rounded to 2 decimal places, and the timestamps would then be identical. This is a problem for much of my data analysis tools that require unique timestamps.
Merge branch 'master' of github.com:Susurrus/mavlink
Merge branch 'master' of https://github.com/mavlink/mavlink
Merge pull request #220 from Susurrus/master

Corrected XML for new MAV_DISTANCE_SENSOR message