added idris-load-file-sync to idris-refine-hole