Add doc-redirects, a maintenance script for our RTD HTTP redirects

This script allows downloading & uploading of redirects in a RTD project, as
well as identifying candidates for redirects from a git revision range.

See docstring for details.

Author: ckreibich