Add "console" to globals directive since we don't set "devel" option in jslint directive any more.