Make PLY, PSET, PATCH export optional and faster. #6