Bump agda-stdlib to 0.9
Bump agda to 2.4.2.1