doc: clean-up Development Environment and Tools page

GitHub labels were hard to visually parse so use guilabel role to make them
stand out more, and put them in tabular format.
Other minor cosmetic tweaks

Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>