Initial prototype for stateful serverless computation

Summary
This deliverable includes a detailed specification of the programming language support for Java and an initial prototype of the server side. This initial prototype relies on the Creson framework and uses Infinispan for data distribution, replication and persistence.