[lib.timer] Remove `core.timer' and supply a `lib.timer'
instead, which re-implements `core.timer' in an app-local
fashion.

Adapted (and removed some, now impossible) uses of `core.timer'.