updated xtreemfs
ignore some useless stuff in the docker