toplevel 'make check' should also do subsequentcheck

Change-Id: Ib41660a1fef332573ef1c477c12bc8fdfedfc4db
some namespacing

Change-Id: I7f4fc456d7e9690443d94175e94b69db50c3e2b5
clean up echo deserts, consolidate blurbs

Change-Id: If268d37e8e96adcb8902c8b3fc855ecddea69ba5
install-gdb-printer -L fails with 'unknown option' anyway

Change-Id: I5927427264eaed86d2e93bee1cfc8f1ff55690c3