change fixture_file ontology-call to ontology_file.
Merge pull request #1112 from ontohub/fix_fixture_calls

change fixture_file ontology-call to ontology_file.
Add TacticScript model for proofs.
Add ProofTree model for proofs.
Add GoalStatus model for proofs.
Add ProofStatus model.