Updated polipo server address to work with qemu/kvm
Starting Grid'5000 user documentation
Updating Grid'5000 user documentation
Set a kameleon workdir different from root (/)
Set a kameleon workdir different from root (/)
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/kameleon/kameleon
bump version