Bash script to generate mappings

So we can be consistent about which steps are done when.

Example usage: ./tools/generate-redirects.sh mod