corrected url for ssreflect 1.4
Merge pull request #2 from nrolland/master

corrected url for the sources of ssreflect 1.4