[sr-dev] git:master: Makefile.defs: added MEMMNG to allow selection of memory manager