Red Hat ships piping hot Ceylon to curry favor with Java-weary devs