Palmtop BV se transforme en TomTom