Bump doctools version to get correct github links.