tools.php: Fix link to repo.
Remove the download in header, it is ugly.