added agda and agda-stdlib dependencies in README.