fix Ewoms::Properties::print() for splices

It should now work for all compilers which properly support Dune::className().