Adjust rhino.js
Adjust rhino.js

-   accept a 'realfilename' argument for the CSS munging that I'll put
    in later on.

-   change the defaults to what I consider a good baseline (documented
    inline)

mikewest/jslint-utils,mikewest/jslint-utils