This new tool (all_tools) embeds all the other tools and provides a menu to choose which one to run. Change-Id: I0e07864dd46559a7079b0f942c25155e6fa07112
Change-Id: I55ca29627801b5e760d1dbe407d96cd055f659ab