Handle directory deletes in push.

Issue #5 resolved
Anonymous created an issue

If a directory no longer contains any files, it should get marked for deletion when pushing.