Moved NodeFilter() from deprecated.js to new externs file w3c_traveral.js with interfaces from the DOM Level 2 Traversal specification.