Optional renumbering of tasks

For batch operations, renumbering will break IDs (e.g. deleting tasks
will shift all later tasks up).  In this case, set `renum` to false and
manually call `renumberTasks()` afterwards.