remove brush size names, #256.

Still todo: adjust "Size:" string in GUI to read "Brush size:"