doc: Update repository location, remove the darcs mirror.