type="text/javascript" is redundant

Just a small optimization/modernization to move the web forward.

The `<script>` elements only need an explicit type when it is something
other than JavaScript.

This is fully backwards compatible and compliant with HTML5.