Update doc/getting_started.md

Signed-off-by: Victor Costan <costan@gmail.com>