Fix "	Don't highlight in red promoted kinds" issue 285 https://code.google.com/p/leksah/issues/detail?id=285
Specify the size of the dmg so that we don't get an error creating it.
Add leksah GtkSourceView theme and fix up the layout code a bit.
Bump version number
Include leksah GtkSourceView schemes in the preferences drop down
Fixes for new mingw32
Use cabal reply for launcing ghci
Improve default layout a bit more.  Update submodule refs.