caryoscelus/agda: My dev branches of agda (i.e. mostly a mirror) @ js_amd_patch

Ulf Norell b56b3965a6 [ backend ] updated compiler pragmas in test cases		%!s(int64=8) %!d(string=hai) anos
..
Not-named-according-to-the-Haskell-lexical-syntax.agda	b56b3965a6 [ backend ] updated compiler pragmas in test cases	%!s(int64=8) %!d(string=hai) anos
main.agda	1798443c90 Added a (currently failing) test of --epic.	%!s(int64=14) %!d(string=hai) anos