code coverage hookup

Add logic to perform code coverage analysis using jacoco http://www.eclemma.org/jacoco/trunk/doc/

Maven profiles are used so not to disrupt the current build flow.  Randomized testing plug-in is moved to the profiles because of configuration conflict if the code is instrumented by jacoco.