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 59 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
passed buildweb #141458
triggered

00:00:59