Simply platform makefiles for lii6gc and lii6ll.
Bring ananmv.nmk up to date.
Simplify the platform makefile on fri3gc. No need for -Wno-strict-aliasing any more -- the MPS is type-pun clean.