Bump version.
Use double for efficiency.
Use when for hook conditions.
Add requirements to Condor environment
Fix permissions when dearchiving
Implement += for ssh authentications.
Merge branch '3-dev' of github.com:openmole/openmole into 3-dev
Merge branch '3-dev'