Decouple ProofAttemptConfiguration from Ontology Now that there is only one ProofAttemptConfiguration per ProofAttempt, we can remove this association. The numbering can be dropped as well. Next, the loc/id and routes must be adjusted because it is now associated primarily with the ProofAttempt.

Let PAC have one proof_attempt and remove goals When the ProofAttemptCofiguration only has one proof_attempt, there can only be a single goal. This can be retrieved through the proof_attempt.

Add API ProofAttemptConfigurationsController and its routes.