Removed lingering debug statement
Added an example of how to inject functionality.
Use box-sizing in the export dialogue
Depend on 2.5.2 imjs because it has a bug fix
Configure the use of a custom galaxy
Improved galaxy exporter.

This provides a better description on export, and fixes #79
added extra options

This provide branding options, and a distinction between the current
galaxy and galaxy-main.
allow options to be provided for setting.