cleanup doc/tools
Merge branch 'master' of https://github.com/x3dom/x3dom