Keep deleted tasks in the database (fixes #18)