Made the correlated-prefix the default policy for filtered-datasets. Documented merge policies and filters.

Change-Id: I6c93d87b9fcee1f69601f5fd05192e56dd288879
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/176
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: abdullah alamoudi <bamousaa@gmail.com>
5 files changed