Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --preserve-timestamps