Add git-extras to developer_tools manifest