implement static redirect map in HTTP front-end

Add an option to load a file containing redirects (source, target paths)
and serve them from the HTTP server, to allow renaming a radio without
breaking old links.