Update opencv to 2.4.7

OpenCV 2.4.7 is already available, but on Github, there is already a tag
for 2.4.7.2. So the sources will be downloaded from Github instead of
Sourceforge.