Propose replacing the `loop` keyword with `while true`.

This is one way we could remove the `loop` keyword from the language before Rust 1.0.  It's straightforward and allows us to refine the implementation over time.