Update user manual description of the `prolog_compiler` and `prolog_loader` flags