add dumptree command to basicrrt
Merge pull request #329 from ompugao/add-dumptree-command-to-basicrrt

add dumptree command to basicrrt