split into two cabal packages: dvda, and dvda-llvm because of dependencies and llvm ghci issues