Exporting the setDouble function.
Merge pull request #54 from ethz-asl/feature/export_proptree_set_double

Exporting the setDouble function.