fixed makefile
attributes for IsGroup -> IsGroupAlgebra

the IsGroup attributes
. NumberOfQuadraticEquationsOfUnitaryGroup
. DimensionOfUnitaryGroup
are now ones of IsGroupAlgebra

adapted example files
removed HasOne from some method filters

for IsAlgebra and HasCoefficientsRingForPolynomialAlgebra