make urxvt transparent, add coq and ruby stuff to vim, make xinitrx executable, colorize ghci prompt