ATS-paremit: adding dynload0 support.

Today I tried to test what ATS-paremit will output for a simple program:

    staload _ = "prelude/DATS/integer.dats"

    implement main0 (argc, argv) = let
      val x = 10
      val y = 15
      val z = x + y
    in
      println!("z = ", z)
    end // end of [main]

However, atsparemit would end up complaining about some EOF which isn't quite there. So, turned out that the utility didn't know of ATSdynload0 instruction. This is what this patch adds.