Add util/check-doc-links.pl, to be used to check referenses in manuals