Add manual section on RLC inference

[msridhar]

This uncomments a previously-written manual section on the RLC inference algorithm and edits it to reflect that RLC inference has fully landed in the master branch (once #6278 lands).

[msridhar]

@kelloggm I left this as a draft as I think it'd be good if you could make a pass. The text currently refers to an -Ainfer flag but that is only mentioned in the WPI chapter section "How whole-program inference works". Maybe this text should instead refer to wpi.sh? When you have time (not urgent), if you could take a look that would be great.

[mernst]

@kelloggm A ping in case this fell through the cracks.

[kelloggm]

Thanks @mernst - you are right that this fell through the cracks over the holidays.

I think this can be merged as soon as my one comment is addressed.

[msridhar]

@kelloggm this is ready for another look

[kelloggm]

LGTM

[mernst]

Should there be a CHANGELOG entry for this feature?

[msridhar]

Should there be a CHANGELOG entry for this feature?

@mernst full RLC inference landed as of Checker Framework version 3.42.0. Should I update the release notes for that version?

[msridhar]

Should there be a CHANGELOG entry for this feature?

@mernst full RLC inference landed as of Checker Framework version 3.42.0. Should I update the release notes for that version?

@mernst ping on the question above. Let me know where we should add a CHANGELOG entry for this feature, if you think it is needed.

[mernst]

Please put the changelog entry for the upcoming release.

1. We don't change release notes for previous releases (they are already out in the world).
2. If a feature isn't documented, it isn't really done, so we can think of this release as the one that implements the feature.

Thank you!

[mernst]

Thanks!