The scripts names are on the right and open the script edition.
The left cells open the script options.
Change-Id: I3fbab8c3861f3395c3206775c92cda3470963b26
Editing, renaming, deleting or changing the auto-importation of a script
triggers the reloading of the console (the history is cleared, Python
restarted and the scripts re-imported).
Change-Id: If8b933cc077ecd36cab09214b5e7a181aa3ae030
A script can now be imported in the console.
Moved all the MicroPython functions to python/port files.
Change-Id: I0a23e8cb20005719b800e81470e1c574c702c3b7