reset `stdlib` for v2.4#2775

MatthewDaggitt merged 4 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:v2.4-resetjamesmckinna/agda-stdlib:v2.4-resetCopy head branch name to clipboard