More improvements for Stryker

Using new getDigest method of a MutantInfo of new mujava++ to reduce
read/write overhead.
Some bug fixes