Settings.gradle script works incorrectly if checkoutIfCloned is set and cloned is true

[rheitjoh]

The script then does not correctly checkout develop in all cases. Instead it will try to checkout the branch corresponding to the branch name of the repository that is currently being built. Already fixed this for Groupsig, but this issue serves as a reminder.