webrepl: Changes for more webrepl features while making it smaller.#814

felixdoerre wants to merge 2 commits intomicropython:mastermicropython/micropython-lib:masterfrom

felixdoerre:webreplv2felixdoerre/micropython-lib:webreplv2Copy head branch name to clipboard