how_it_works.html: update commands to get source code.

Signed-off-by: Daira Hopwood <daira@leastauthority.com>