Installer devtools sur Ubuntu 14.04

https://rgeomatic.hypotheses.org/399