[Agda] [bug] make install does cabal update

[Jan Stolarek]

I just noticed that doing 'make install' in Agda directory always does 'cabal update'. I don't 
think this is a Good Thing. Firstly because people may wish not to update cabal database (I am 
one of such persons) to avoid any possible inconsistencies in package versioning. Secondly, if 
make install fails for some reason then running cabal update every time one tries to re-run make 
install is redundant. Could this be disabled?

Janek