Update developer tools to point to Mars repository
Update developer tools to point to Mars repository

The p2f file was pointing at a repository URL that
no longer exists; this updates it to a more recent one.

Bug: 475790
Change-Id: I2f816dee38b50ee2a0210a054124f377a1028863
Signed-off-by: Chris Price <711c73f64afdce07b7e38039a96d2224209e9a6c@puppetlabs.com>

collaborative-modeling/egit,collaborative-modeling/egit,paulvi/egit,SmithAndr/egit,paulvi/egit,SmithAndr/egit