This driver was written by @jgpeiro and posted here. It is further developed with his acknowledgement and permission. The notebook needs jypter-micropython-remote jupyter extension.