add highlighting-kate support
add new .cabal