agda-iowa-stdlib: renamed from aaron-stump-stdlib

Per author's request.