Add Gitaly dev docs to Global Nav

Makes the Gitaly development guide easier to find by adding it to the global navigation.

CC @jramsay