Building dependencies

This are instructions for preparing Workcraft dependencies, specifically its backend tools, Java runtime and libraries.

• Building Unfolding tools
• Building Petrify
• Building SIS
• Building ScEnco
• Building PgMiner
• Building Spot
• Building Graphviz Dot

• Preparing minimal Java Runtime Environment
• Preparing minimal Apache Batik