Update 03-developer-tools.md
Update 03-developer-tools.md

Fix link to English version of "Git Tools - Signing Your Work with GnuPG" page
OpenPGP/openpgp.github.io,OpenPGP/openpgp.github.io,OpenPGP/openpgp.github.io