Uploaded a new version of clause segmenter (with some minor bugfixes).