* Proxy no longer required for git cloning
* Most of the IP addresses have been changed
  - Remaining --> 192.168.18.89 for amariue
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>