add functionality to change pen radius

src/components/tools/networked-drawing.js

src/components/tools/pen.js

src/hub.html

src/input-mappings.js

src/network-schemas.js

src/utils/mouse-events-handler.js