docs: update Tools landing page with info for developer options

Change-Id: I1b2ce4e6a27b365a7ec8823fce56c613b1651b1d
2 files changed