Use disable attribute for at-Timers #817
(the change remains backward compatible to the previous method of modifying the device definition to disable a timer. This has to be removed in a future version, when we can be sure that (nearly) no user still uses the old definition).