Session create: take transformation as argument

Add the possibility to specify custom transformations for why3 session create. split_vc is performed if no transformation is specified.