Initial commit
add C-specific settings
add smt-lib syntax
ultisnips: add initial snippets
vimrc: more changes & added snippets
vimrc: added hard-to-maintain files to the repo