add agda options to pandocAgdaCompilerWith