Implement aligned_alloc and others.
    
    We add support for aligned_alloc, __libc_malloc, __libc_realloc,
    __libc_calloc, __libc_valloc, and __libc_pvalloc.
    
    We add a sanity test for aligned_alloc that we can trace and dump
    the new record.
    
    We add support for uniquely identifying and running aligned_alloc
    and posix_memalign in the simulator.
    
    We add further automation cleanups and some program renames to make
    it easier to avoid conflict with other system programs.