Enable deleting characters in batch correction mode

Currently, PoCoTo allows you to "Change candidate" to another character only. However, in many cases it would be preferable to delete selected characters. A workaround is to change unwanted chars into white space.