Remove unused options from cterm_symbolic function

[ehildenb]

None of the downstream semantics use the maude_port functionality and extra dispatch functionality of the cterm_symbolic at this point, so it's removed.

We also remove a check that bug_report_id is set, because it's only used in one place, and in that spot we anyway handle the case where it's unset:

k/pyk/src/pyk/kore/rpc.py

Line 308 in 3235977

base_name = self._bug_report_id if self._bug_report_id is not None else 'kore_rpc'

[gtrepta]

LGTM