Revise README for dottmux
Merge master