Multiple function extraction

[snehasish]

At the moment Needle supports the extraction of a single path/braid into a function call. The extraction of a path described in section 3 of the design document is isolates the state for each extracted path into separate variables. There are no invasive changes which need to be made in the extraction process. The frontend needs to support the specification of multiple paths and the extraction needs to insert multiple call sites.