add gitignore file
add zenburn-fg+1 and zenburn-bg-2 for white and black
add coq faces
add undo-tree faces
add ido-indicator face
add helm-time-zone faces
add some org-mode faces
add helm-separator face
add speedbar faces
add proofgeneral faces
add shell-mode faces
add evil-ex faces
fix auctex font-lock inherit
fix eshell font-lock inherits
fix erc font-lock inherits
fix message-mode font-lock inherits