speller: support options 'speller/use_space', 'speller/finals'.
punctuator: add option 'punctuator/use_space'.
punctuator: half-shape, full-shape labels for more characters.
move unuseful files to $RIME_USER_DATA_DIR/trash during deployment.
punctuator: support custom symbols with patterns such as '/bd'