add SSA form to flybytes ASTs

[jurgenvinju]

1. the definition of a format for representing SSA form
2. the transformation of high-level flybytes to SSA form
3. the transformation of SSA form down to JVM bytecodes