Add option to save dot graph to file

Add a icon which enables the user to save the currently displayed
graph as a .dot file in the currently hardcoded ros_home/dotfiles,
which should normaly be $HOME/.ros/dotfiles
From there it can be converted with the dot commandline tool into
png, pdf or others without the problem of quality loss.