Update tomdoc repository in the README, fixes #3