Added cabal file and shared libraries for CONS