Gerrit Updated; SSH bug fixed

We updated the infrastructure of code.fairphone.com:

Gerrit update:: The Gerrit at https://code.fairphone.com/gerrit/ has been upgraded to version 2.12.2.
SSH key exchange issue fixed:: The SSH key exchange method incompatibility with OpenSSH >=7.0 in Gerrit has been fixed.