v0.4.1

Changes

• combine amast_stubs.c with amast_test.c
• add debug print-outs to dining philosophers problem (DPP) example

Known issues

• the posix port of DPP crashes sometimes
• the freertos port is still work in progress