Delete .dummy

This file was added to fool git to accept the empty document bin.
Now we try to remove it and see if it works or not.