A collaborative coding tool