A small, cron-like scheduler in Python