Updating: staticizing top-level tmpvars.
Updating: minor.
Updating: minor modification.
B
Bi

Merge branch 'master' of https://github.com/githwxi/ATS-Postiats
Updating: malloc_ngc -> malloc_libc; free_ngc -> free_libc
Updating: adding libc/strings
Updating: minor.
Updating: starting to document libgmp.
Updating: improving libc/string.
Updating: reorganizing pats_ccomp_memalloc.h
Updating: adding libc/malloc.
Updating: renaming: share/atspre_staload.hats -> share/atspre_tmpdef_staload.hats
merge master