git-remote-mediawiki: more efficient 'pull' in the best case

git-remote-mediawiki: more efficient 'pull' in the best case

The only way to fetch new revisions from a wiki before this patch was to
query each page for new revisions. This is good when tracking a small set
of pages on a large wiki, but very inefficient when tracking many pages
on a wiki with little activity.

Implement a new strategy that queries the wiki for its last global
revision, queries each new revision, and filter out pages that are not
tracked.

Signed-off-by: Simon Perrat <redacted>
Signed-off-by: Simon CATHEBRAS <redacted>
Signed-off-by: Julien KHAYAT <redacted>
Signed-off-by: Charles ROUSSEL <redacted>
Signed-off-by: Guillaume SASDY <redacted>
Signed-off-by: Matthieu Moy <redacted>
Signed-off-by: Junio C Hamano <redacted>