ssh, option to pycopy

Created by: maho

This PR has two things:

• ability to build not only vanilla micropython, but also pycopy fork,
• ability to flash esp32 via ssh jumpstation, configure it to webrepl over wifi network, etc...