Implementation of data access layer.
Clean the project.
Update the utility classes.
The project is managed by maven.
Merge pull request #1 from why3/master

Update the implementation of data access layer.