Merge "Update developer tools to point to Mars repository"