doc repair to Reference
compiler/compilation-path: added

Provides functions for finding the bytecode path for a source file,
which might depend on PLTCOMPILEDROOTS, etc.
raco {make,decompile}: fix bytecode path calculation

Use `compiler/compilation-path` to take into account PLTCOMPILEDROOTS, etc.

Closes PR 14525
optimizer: treat known procedure bindings, etc., as #t for `if`

Closes PR 14526