Move back to dotnet 5.0 from 6.0

...bin/Debug/netcoreapp5.0/Tests/lemma/Proof_correct_2.proof

...n/Debug/netcoreapp5.0/Tests/lemma/Proof_error_20,21.proof

...duktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp.task

...uktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp2.task

...uktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp3.task

...uktion/bin/Debug/netcoreapp5.0/Tests/lemma/Task_Bsp4.task

...Induktion/bin/Debug/netcoreapp5.0/Tests/simpl/ADT_Bsp.adt

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_correct.proof

...in/Debug/netcoreapp5.0/Tests/simpl/Proof_correct_rl.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_1.proof

.../bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_10.proof

.../bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_11.proof

.../bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_12.proof

.../bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_13.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_2.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_3.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_4.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_5.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_6.proof

...n/bin/Debug/netcoreapp5.0/Tests/simpl/Proof_error_7.proof