doc: Update repository location, remove the darcs mirror.
release 2.0.7
Merge tag 'v2.0.7' into subpattern-references