Help select a more fitting icon for formatting

[PetarKirov]

Currently we use the play FontAwesome icon for both the Run and the Format buttons:

( And after #571:

)

Can we find a more fitting icon? Here are some half-serious suggestions:

• http://fontawesome.io/icon/diamond/
• http://fontawesome.io/icon/magic/
• http://fontawesome.io/icon/i-cursor/
• http://fontawesome.io/icon/file-code-o/
• http://fontawesome.io/icon/cubes/
• http://fontawesome.io/icon/paint-brush/
• http://fontawesome.io/icon/gavel/
• http://fontawesome.io/icon/keyboard-o/

[wilzbach]

Of course it doesn't need to be FontAwesome.

Btw I like the magic one for format.

[PetarKirov]

Fixed in #571.