CompatHelper: add new compat entry for OptimalControl at version 0.12 for package docs, (drop existing compat)

Created by: github-actions[bot]

This pull request sets the compat entry for the OptimalControl package to 0.12 for package docs. This drops the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request. Note: Consider registering a new release of your package immediately after merging this PR, as downstream packages may depend on this for tests to pass.