Fix pointer types in the manual.
auto merge of #16924 : steveklabnik/rust/manual_pointer_fix, r=pcwalton

This was brought up in IRC: https://botbot.me/mozilla/rust/2014-08-30/?msg=20733803&page=26