Guide: intro edits

This is mostly organizational and simplifying. However, I also removed prose which I took to be too basic given that we expect this to be read by programmers. Comments welcome.

cc @steveklabnik 
this property of typical Rust programs isn't because Rust is an AOT compiled language, it's because Rust's rlibs are statically linked into the binary by default