Added more concrete documentation for compiling test binaries for redox

Created by: jsalzbergedu

Although there already is some documentation on compiling binaries in the book, it took me quite a while to figure out how to get one built. Hopefully this will serve as a concrete example so people can get to compiling userland binaries faster.