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.