copy files from metaborg/doc repository