Updating bashrc

Signed-off-by: Cristian Maureira-Fredes <cmaurei@aei.mpg.de>
Updating xprofile

Signed-off-by: Cristian Maureira-Fredes <cmaurei@aei.mpg.de>
Adding log option to gitconfig

Signed-off-by: Cristian Maureira-Fredes <cmaurei@aei.mpg.de>
Adding German servers

Signed-off-by: Cristian Maureira-Fredes <cmaurei@aei.mpg.de>