diff: pass the entire diff-options to diffcore_pickaxe()