added version prints and install agda from cabal due to out-of-date version in apt-get