HTML documentation output should not include `@type="text/javascript"` in `<script>` elements

[martindholmes]

The validator now warns that "The type attribute is unnecessary for JavaScript resources."

[martindholmes]

Working on this in branch issue-803-script-type. Need to run tests etc. before opening a PR.