Ray class group map could be a bit more intelligent

[thofma]

We can map factored ideals to ray class groups, but the individual factors need to be coprime to the modulus:

Hecke.jl/src/NumFieldOrd/NfOrd/RayClassGrp.jl

Lines 785 to 792 in 60a055c

	function disclog(J::FacElem{NfOrdIdl, NfOrdIdlSet})
	@vprintln :RayFacElem 1 "Disc log of element $J"
	a = id(X)
	for (f, k) in J
	a += k*disclog(f)
	end
	return a
	end

I think we can do better. Here is a quick example to reproduce the issue.

julia> K, a = rationals_as_number_field();

julia> OK = maximal_order(K);

julia> M = 12*OK;

julia> R, f = ray_class_group(M);

julia> I = FacElem([9*OK, 3*OK, 5 * OK], ZZRingElem[1, -2, 1]);

julia> Hecke.assertions(true);

julia> f\(numerator(evaluate(I)))
Element of R with components [0 1]

julia> f\(I)
ERROR: AssertionError: $(Expr(:escape, :(is_coprime(J, m))))
Stacktrace:

[thofma]

The caller should call simplify!. Not sure we want to do it in this function.

[thofma]

We are checking is_coprime anyway, so we should just adjust it.