Remove leftover references to the (currently unsupported) Lean Prolog integration script from installer files