Twitter is dropping coding terms like 'master' and 'slave' after 2 engineers led an internal effort to press for change