[galaxy-dev] [hg] galaxy 1699: Add new tool config for flymine production ser...