Upgrade to Jacoco 0.6.3 and AspectJ 1.7.3

See http://www.eclemma.org/jacoco/trunk/doc/changes.html

Release 0.6.3 (2013/06/03)

New Features

Support for archives in Pack200 format (GitHub #91).
The coverage check has been reworked to allow checks on all counter values on all element types (GitHub #106).
Coverage checks are now also available in Ant (GitHub #106).
Fixed Bugs

Fixed inconsistent stackmap frames when instrumenting class files produced by certain tools like ProGuard (GitHub #85).
Non-functional Changes

More context information when exceptions occur during analysis or instrumentation (GitHub #104).
If analysis is performed on offline instrumented classes - which is an build configuration error - an exception is now thrown (GitHub #108).
API Changes

The configuration of the Maven check goal has been reworked to support checks on any element type (GitHub #106).
Analyzer and Instrumenter expect resource name as additional parameter for better error messages (GitHub #104).