Prepare the release flow for enabling immutable releases#396

jupblb wants to merge 2 commits intomainscip-code/scip:mainfrom

michal/releasescip-code/scip:michal/releaseCopy head branch name to clipboard