Add MICROPY_HW_MICRO_NAME to boards config
unix: Remove unused CTRL-D definition
Merge pull request #703 from iabdalkader/micro_names

Add MICROPY_HW_MICRO_NAME to boards config
Merge pull request #717 from stinos/dead-code

unix: Remove unused CTRL-D definition
Change MCU name config micro
Merge pull request #720 from iabdalkader/mcu_name

Change MCU name config micro
py: Move stack_ctrl_init() to mp_init().

As stack checking is enabled by default, ports which don't call
stack_ctrl_init() are broken now (report RuntimeError on startup). Save
them trouble and just init stack control framework in interpreter init.
bare-arm: Enable link map file.

This port supposed to be demo of uPy minimality, so let people behold it in
details.
py: Allow to disable array module and bytearray type.

array.array and bytearray share big deal of code, so to get real savings,
both need to be disabled.
bare-arm: Disable array module and even bytearray type.

To squeeze few more hundreds of bytes.
bare-arm: Hint of setting MICROPY_ERROR_REPORTING to REPORTING_TERSE.

Commented out so far, as enabled leads to dozen more bytes used actually
(due to string pooling effects).
py: Add protection against printing too nested or recursive data structures.

With a test which cannot be automatically validated so far.
Merge branch 'master' into unicode

Conflicts:
	py/mpconfig.h
py: Small comments, name changes, use of machine_int_t.
tests: Write output in byte mode, not text mode.

This enables testing unicode and non-unicode implementations.
py: Add missing #endif.
unix, stmhal: Add option for STR_UNICODE to mpconfigport.h.

Unicode is disabled by default for now, since FileIO.read(n) is
currently not implemented for text-mode files, and this is an
often function.