Karma required for gecode with fixes for PPC

[than]

Hello,

i have the update gecode in bodhi that needs some karma points so that 
it can get moved into F24:

https://bodhi.fedoraproject.org/updates/gecode-4.4.0-11.fc24

Please test, add comments and give karma points.

Thanks,
Than