[#4957] Group multiple tools of same type in navbar
[#4957] Changed color of tool-count indicator

Signed-off-by: Cory Johns <johnsca@geek.net>
[#5040] Improve artifact linking help