DevTools panel; Communications re-organisation#204

Merged

matatk merged 31 commits intomasterfrom dev-tools-panel

Oct 20, 2018

+2,535-1,680

Commits on Aug 23, 2018

Commits on Aug 29, 2018

Port-based communications; Build tweaks; Commands; Start-up
matatk
committed

Commits on Sep 3, 2018

Commits on Sep 4, 2018

Add info on DevTools panel to README
matatk
committed

Commits on Sep 12, 2018

Commits on Sep 14, 2018

Attempt to fix background comms and navigation on Firefox
matatk
committed

Commits on Oct 17, 2018

Commits on Oct 18, 2018

Fix all but one of the tests
matatk
committed

Commits on Oct 20, 2018

Note the PR number for the DevTools etc. changes
matatk
committed