Some changes for valid HTML5/HTML5.

The karma plugin did not encode '[' or ']' in URLs.

Changing links to versioned CSS/.js URLs from '&v=' to '&amp;v='. That should do the same and makes the W3C validator complain less.

In the script tag, `language="javascript"` is obsoleted (not 'optional' as the commit message says. `type="text/javascript"` is valid, but optional. Leave the latter, remove the former.