Add Java-based monitoring

Adds the feature of Java-based monitoring. It consists of:

• runtime library with the monitoring functionality
• code generators
• new generator task
• updated mechanism for compilation and execution of the generated Java monitoring code