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'
avoid creating / loading incomplete .bin files.