Lose some deprecated options from make default-configuration (GenerateConfiguration.pl)
Lose some deprecated options from make default-configuration (GenerateConfiguration.pl)

SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika,SophistSolutions/Stroika