add option to use mmap in gc, and to free pages later. ref #7381

also fix gc time printing code
allocate symbols in their own pool, since they are never freed

this helps reduce heap fragmentation a bit
Merge branch 'master' of github.com:JuliaLang/julia