removed migrate.txt, this file was usefull for integrating old annis site into corpus-tools site
removed migrate.txt, this file was usefull for integrating old annis site into corpus-tools site

corpus-tools/corpus-tools.github.io,corpus-tools/corpus-tools.github.io,corpus-tools/corpus-tools.github.io,corpus-tools/corpus-tools.github.io