Merge branch 'feature/rodin_2.4' into develop

de.bmotionstudio.gef.editor/META-INF/MANIFEST.MF

de.prob.core/META-INF/MANIFEST.MF

de.prob.core/prob/linux/build_info.txt

de.prob.core/prob/linux/lib/graphiso.so

de.prob.core/prob/linux/lib/ltlc.so

de.prob.core/prob/linux/lib/user_signal.so

de.prob.core/prob/linux/probcli

de.prob.core/prob/linux/send_user_interrupt

de.prob.core/prob/linux64/build_info.txt

de.prob.core/prob/linux64/lib/graphiso.so

de.prob.core/prob/linux64/lib/ltlc.so

de.prob.core/prob/linux64/lib/user_signal.so

de.prob.core/prob/linux64/probcli

de.prob.core/prob/linux64/probcli.sh

de.prob.core/prob/linux64/send_user_interrupt

de.prob.core/prob/macos/build_info.txt

de.prob.core/prob/macos/lib/graphiso.bundle

de.prob.core/prob/macos/lib/ltlc.bundle

de.prob.core/prob/macos/lib/user_signal.bundle

de.prob.core/prob/macos/probcli