[galaxy-dev] [hg] galaxy 1556: update xml files for short reads mapping tools.