Add a script to mirror Web sites.
Add scripts to ease git pushes and pulls.