Scripts for adding formatting shortcuts to TeXWorks