Benoit Rat authored May 02, 2013 and Alessandro Rubini committed Feb 14, 2014

This also updates the links to binaries in the documentation.

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>