Merge branch 'develop' of https://git.epfl.ch/repo/genomeprivacy into develop
Conflicts:
project/PPPCertifiedInstitution/.classpath
project/PPPClient/.classpath
project/PPPServer/.classpath
project/PPPServer/config/config_server.fry.properties