Fix bug in file domain
Merge branch 'master' of git.openmole.org:openmole
fix small bugs, update documentation links
Update documentation
Synchronous event for mole task.