Update error messages in compile-fail tests
Take core as a dependency on librlibc. This is needed so that it can
see the lang-items for Sized etc. @acrichto and @thestinger had no
objections.
Guts of the new trait matching algorithm, not yet in use
Port coherence to use the new trait matching code
Trans -- stop tracking vtables precisely, instead recompute as needed.
typeck/kind -- stop using old trait framework.

- Unify the "well-formedness" checking that typeck was already doing with what
  was taking place in kind.
- Move requirements that things be sized into typeck.
- I left the checking on upvars in kind, though I think it should eventually be
  refactored into regionck (which would perhaps be renamed).

This reflects a general plan to convert typeck so that it registers
obligations or other pending things for conditions it cannot check
eventually. This makes it easier to identify all the conditions that
apply to an AST expression, but can also influence inference in somec
cases (e.g., `Send` implies `'static`, so I already had to promote a lot
of the checking that `kind.rs` was doing into typeck, this branch just
continues the process).
wip -- small fallout from change to method type to include a trait-ref
wip -- various tweaks to rip out caching etc
wip -- coherence inherent impl change
misc ppaux changes
wip -- inherent impl list change (Coherence)
add Send bound on impl because stricter trait checking requires it
silence various warnings in stdlib, no idea why they suddenly started