tc_9: change link to book mistakes

        Change Princeton's book mistakes link to a more generic web
page.
        Add a link to Tool's webpage about the books.
1 job for master in 27 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Test
passed trigger-tc #141455

00:00:27