Updated diff-cover to version 0.1.3 to fix a bug

@jzoldak Please review.  This is for the changes in https://github.com/edx/diff-cover/pull/12 only.