Include clause weights in output of -writeClauses

@niranjanb @ashish33