The universal theta divisor over the moduli space of curves