Add label for IRC section
Update git.html from troubleshooting section

- Simplify text
- Put todo in a todo box
- Update links to IRC channel and mailing list
  (point them to the relevant sections on our contact page)
Improve issue reporting section