[galaxy-dev] new galaxy-dist fixes multiple IE UI bugs

Thanks Galaxy Dev Team, the new galaxy-dist fixes multiple UI bugs with IE, for e.g. the workflow editor works now works and the history expand/collapse works! :)