20131214 tech.tech-news: Murthy may cut short Infosys stint if new CEO named