agda-stdlib: update to 0.8.1

This is necessary after the Agda-2.4.2 bump