Snippets/Edittools as buttons

Description
Convert the edittools links into buttons. These come from MediaWiki:Edittools as part of Extension:CharInsert, and are by default text area on the source edit page.