Replace document-validator into redpen in the file names and UIs

- replace command name from docvalid into redpen
- replace file names, documentvalidator.css (.js) to redpen.css (.js)
- replace document validator in UI.