Add some files to migrate to github.