#18 Integer overflow in getWCET

[Trevor Harmon]

The getWCET computation in Clepsydra uses int (32-bit) precision. This can cause overflow for long-running methods, resulting in negative WCET values. This can be fixed by changing the API (and the internal algorithms) to use the arbitrary-precision BigInteger instead of int.