vim: add ctrlp_custom_ignore setting
vim: unicode concealing for idris