v1.3

Wigglypaint 1.3 contains two small improvements:

• By popular demand, I have added a simple range of brush sizes for the marker tools. If anyone is slightly enterprising it is now very easy to modify WigglyPaint to add additional marker sizes and/or shapes. Have a tinker!
• The "wiggler" contraption comprising the main drawing surface now exposes .animate[] and .flip attributes, making it suitable for use as a "fancy puppet" in Puppeteer. Don't forget to lock your wigglers after pasting them elsewhere!