Include clause weights in output of -writeClauses