Fix portfolio configuration parsing#98

TrisCC wants to merge 4 commits intoADA-research:mainADA-research/auto-verify:mainfrom

TrisCC:config-bugfixTrisCC/auto-verify:config-bugfixCopy head branch name to clipboard