Add a way to determine whether a trickle timer is running
Only schedule a trickle interval doubling for running timers
Use TRICKLE_TIMER_IS_STOPPED in trickle_timer_stop()
Merge pull request #359 from g-oikonomou/trickle-timer-stop

Add a method to stop running trickle timers
Saved another byte ;-)
Merge pull request #368 from oliverschmidt/master

Saved another byte ;-)
Adjusted Makefile to the final 'atarixl' cc65 target.

- Assign source files to the splitted shadow RAM areas.
- Switched to dynamic Ethernet driver loading.
Merge pull request #369 from oliverschmidt/master

Adjusted Makefile to the final 'atarixl' cc65 target.
Removed support for 'atari' now that 'atarixl' is part of the cc65 master.
Merge pull request #370 from oliverschmidt/master

Removed support for 'atari' now that 'atarixl' is part of the cc65 master.
Some beautification for the Contiki online configurator.
Merge pull request #371 from oliverschmidt/master

Some beautification for the Contiki online configurator.
Adjustments for the switch from 'atari' to 'atarixl'.
Merge pull request #372 from oliverschmidt/master

Adjustments for the switch from 'atari' to 'atarixl'.
Added missing 'atarixl' Makefile defines.
Merge pull request #373 from oliverschmidt/master

Added missing 'atarixl' Makefile defines.
Merge remote-tracking branch 'upstream/master'