Borders

10 border images.
Added font options in a theme panel.

Also moved the color options in this new panel.
Fixes GH-50.
Removed dead code.
Moved more functions into Utils.lua.
Moved the environment builder in its own file.
Fixed RuleDSL.lua globals.
Merge remote-tracking branch 'arcadepro/border'
Added an option to select the highlight texture.
Fixed a typo in Config.lua.