Replace magic with odrcore#438

TomTasche merged 8 commits intomainopendocument-app/OpenDocument.droid:mainfrom

replace-magicopendocument-app/OpenDocument.droid:replace-magicCopy head branch name to clipboard