Fix crash caused by the "Optimize for Performance" config option

We disable the gcse, gnu-unique, and move-loop-invariants
flags enabled by O2.

Signed-off-by: Vlad-Andrei BĂDOIU <vlad_andrei.badoiu@stud.acs.upb.ro>
Signed-off-by: Simon Kuenzer <simon.kuenzer@neclab.eu>
Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>

Add optional main()

We add an optional main, selectable from the menu, that forwards
parameters to Micropython's main function.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>

Add header files

Add header files, including mpconfigport.h, Micropython's config file.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>

Add patches.

Add patches to fix compilation errors and to adapt unix/main.c and
modlwip.c to Unikraft.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>

Add Unikraft-adapted external modules.

For now we add just modusocket. modlwip we introduce by patching the
original version in the sources; we dcan't do this for modusocket
since this file does not exist in the unix sub-directory of
Micropython.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>

Add Makefile.uk

We patch unix/main.c and optionally provide a main() to enter
Micropython's main loop. We also add mpconfigport.mk, Micropython's
Makefile.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>

Introduce library skeleton

We use the BSD-3-Clause license for this library glue code.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro>

initial commit (empty)