Ani tenhle plán nevyšel, Mozilla definitivně končí s vývojem Firefox OS