fixes in config.sage
polymod valuations for function fields