javaagent for instrumenting programs at runtime and generating ProGuard configurations based on used classes and methods