Reko should handle constant integer division better

[uxmal]

The Microsoft C compiler, among others, implements divisions by constant integers C (where C is not an integral power of 2) as described in the paper Division by Invariant Integers using Multiplication. Reko fails to discover this. Thus, a simple

C
x = f / 10;

becomes

``` C
uint32  tmp = SLICE(f * ~0x33333332, word32, 32);
x = tmp >> 3;

This needs to be recognized by reko and handled better

[rfalke]

See also #554.