Make optimisation controller set population size if left at None#1722

MichaelClerx merged 5 commits intomainpints-team/pints:mainfrom

1690-set-pop-sizepints-team/pints:1690-set-pop-sizeCopy head branch name to clipboard