Merge pull request #373 from pwaller/20130816-tool-symlinks

1 DAY: Support tools through symlinks to /tools
make sure we create an http directory
WIP: Tool (symlink) migration scripts
Improvements to git repository change detection
migration: More efficiently list all boxes
Improvements to migrate.sh box changes detection
migration: Oops. There are multiple views per dataset
Don't tee output to /tmp/migrate.log
Beef up run-migrate.sh
Use superuser to inspect boxes
Don't sudo for each box
Ignore newview tools
Consider ignored files which aren't in tools/http
Add the implied TAB
symlinks migration: Write the bit which actually does migration
fix about page typo
Rename run-migrate to generate-migrate-scripts.sh
Minor fix for case of no http files to be migrated.
Small migration script improvements.
Use set -e whilst migrating, do migration in the correct order