add drat-trim executable