Add tools definition for Galaxy integration.

This file needs to be added to the tools/data_source/ directory of a
Galaxy instance.

dorina-galaxy.xml

@@ -0,0 +1,22 @@
+<?xml version="1.0"?>
+<tool name="DoRiNA Search" id="dorina_search" tool_type="data_source">
+    <description>DoRiNA data source</description>
+    <command interpreter="python">data_source.py $output $__app__.config.output_size_limit</command>
+
+    <inputs action="http://dorina.mdc-berlin.de/go" check_values="false" method="get" target="_top">
+        <display>go to DoRiNA search $GALAXY_URL</display>
+        <param name="GALAXY_URL" type="baseurl" value="/tool_runner" />
+        <param name="tool_id" type="hidden" value="dorina_search" />
+        <param name="sendToGalaxy" type="hidden" value="1" />
+    </inputs>
+
+    <request_param_translation>
+        <request_param galaxy_name="URL_method" remote_name="URL_method" missing="get" />
+        <request_param galaxy_name="URL" remote_name="URL" missing="" />
+    </request_param_translation>
+    <uihints minwidth="800"/>
+    <outputs>
+        <data name="output" format="tabular" label="${tool.name}"/>
+    </outputs>
+    <options sanitize="False" refresh="True"/>
+</tool>