fixed idris-hole-at-point: now it handles re-search errors