Different Brush Types

[rosej12]

Add the option to choose between different brush types.

Ideas:

• round brush (draws filled-in circles)
• block brush (draws filled in squares)
• highlighter brush (what we have as default currently)
• ...