20151209 tech.tech-news: Mozilla's Firefox OS for smartphones is dead