Mã ngắn (ngôn ngữ máy tính)