Tidy index.html and re-document design and develop tools in ui.js
Merge pull request #59 from 45678/tidy-html

Tidy index.html and re-document design and develop tools in ui.js