Fixed the os-dependent path splitting problem in datastore.py, and removed the eclipse project files from the repo.
Merge branch 'moregui' of https://github.com/ldevesine/Calvin into moregui