Add mr.filter, a workaround for the duplicate-index bug in pandas 0.12