Add package qualifier & finalize verification

Um SCAR sinnvoll in das Framework einbinden zu können hab ich einen Package-Namen gebraucht, ich hab jetzt vorläufig mal edu.kit.kastel.formal.verismart.scar genommen. Wenn du jetzt noch was in main änderst gibt es wahrscheinlich ziemlich viele Konflikte also am besten schnell mergen.