Download section: Changes the 'repo init' command to use 'dizzy' branch

Signed-off-by: Miguel Satte Alam Lisboa <miguellisboa@gmail.com>