Add google analytics tracking

Liz asked if she could get some stats about usage of the manual.

After discussion with the analytics team, it was agreed to set up a
separate google analytics account for this manual. The analytics team
will manage that account.