Move dev tools outside of ledej project to the mainstream team