fix(fmodata): strip otto prefix and .fmp12 from batch sub-request URLs#208

eluce2 merged 2 commits intomainproofsh/proofkit:mainfrom

fix/batch-sub-request-urlsproofsh/proofkit:fix/batch-sub-request-urlsCopy head branch name to clipboard