patch: make ant install target a bit more cross-platform

[PAStheLoD]

Hello again, I hope you don't mind the issue spam.

diff --git a/build.xml b/build.xml
index 17ff208..9bc5ced 100644
--- a/build.xml
+++ b/build.xml
@@ -41,15 +41,10 @@
   </target>

   <target name="install" depends="dist">
-       <exec executable="mkdir">
-               <arg value="-p"/>
-               <arg value="${installDir}"/>
-       </exec>
-       <exec executable="cp">
-               <arg value="-r"/>
-               <arg value="${dist}/"/>
-               <arg value="${installDir}"/>
-       </exec>
+       <mkdir dir="${installDir}" />
+       <copy overwrite="true" todir="${installDir}">
+               <fileset dir="${dist}/" />
+       </copy>
   </target>

   <target name="clean"

[aeonios]

The install target actually points to something on anarchid's computer anyway, so that's kind of irrelevant. :P

[PAStheLoD]

Yeah, I know, he suggested using it in the README :)

[Anarchid]

I was thinking of making it an ant variable, but at the time i was the sole user of ant install and there are few things more permanent than those intended as temporary.

This is a good way to get closer to that.

[Anarchid]

Can you do this as a PR instead?