Gothic Virtual Tabletop: Improve draw/erase tool

When you select the pencil/eraser tool from the top menu bar, a slider will appear under those buttons allowing you to change the pen size. The technology is here, people. We made it.