Doc: Enhance redirections from three letters urls to new urls (like /lib/* -> /library/*).

[JulienPalard]

https://github.com/python/psf-salt/blame/master/salt/docs/config/nginx.docs-backend.conf#L86

Should not only redirect /lib/ but /lib/*.

(can't assign myself, but I'll try it).