initialize HoleManager per agda-mode:load