Added combineOption, combine, combinen to Semigroup/Monoid/Group.
Added sumOption, sum, sumn to their additive variants.
Added prodOption, prod, prodn to their multiplicative variants.
Merge branch 'master' into topic/monoid-combine
Merge pull request #316 from denisrosset/topic/monoid-combine

Consistent naming for combine/sum/prod.