Convert header to HAML

It's still hard to read, but getting easier
Fix 'active' Tools link in header
Make header slightly easier to read
Document where old single-category pages went, and patch outstanding broken URLs