added missing export of Prelude.Ord
added getArgs and getProgName to IO
Added shows and ShowBy to Prelude.Show
Added mapLeft and mapRight to Prelude.Sum
Merge branch 'master' into maint-2.4.0
Build test/Main.agda with agda-2.4.0