Navigation systems maker TomTom is shedding 10% of its workforce as part of a cost-cutting plan it hopes will help its move into higher-growth markets.