minor adjustments to index copying scripts
add migrate-index.sh for simplified reindexing.