optional Firefox OS tools